Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation

appearance as argument number 1
-------------------------


(subclass BinaryRelation Relation) Merge.kif 2342-2342
(subclass BinaryRelation InheritableRelation) Merge.kif 2343-2343
(documentation BinaryRelation EnglishLanguage "BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.") Merge.kif 2345-2347

appearance as argument number 2
-------------------------


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2270-2271
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2349-2349
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2359-2359
(subclass SymmetricRelation BinaryRelation) Merge.kif 2370-2370
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2402-2402
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2420-2420
(subclass TransitiveRelation BinaryRelation) Merge.kif 2443-2443
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2459-2459
(subclass UnaryFunction BinaryRelation) Merge.kif 3472-3472
(subclass BinaryPredicate BinaryRelation) Merge.kif 3592-3592
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 18518-18518
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 990-990

appearance as argument number 3
-------------------------


(domain inverse 1 BinaryRelation) Merge.kif 111-111
(domain inverse 2 BinaryRelation) Merge.kif 112-112
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3714-3714
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3751-3751
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3767-3767
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3788-3788
(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3811-3811


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners