Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

SUO: SUMO - predicate vs relation



I'm continuing to go through the SUMO and came across the following:

  (=> (instance ?x BinaryPredicate) (instance ?x BinaryRelation))

Is a theorem of SUMO, derived from (subclass BinaryPredicate BinaryRelation)

Now:

  1) Relations are sets                  (uncontroversial)
  2) Predicates are linguistic tokens    (uncontroversial)
  3) "fudgeFactor" is a BinaryPredicate  (assumption)

The theorem lets me prove "fudgeFactor" is a set.  I don't think so.

 .bill

-- 
Bill Andersen
Chief Scientist, Ontology Works
1132 Annapolis Road, Suite 104
Odenton, Maryland, 21113
Mobile: 443-858-6444
Office: 410-674-7600
Web: http://www.ontologyworks.com