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


KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation(binary relation)accession, association, base, basis, marital_bed, marital_relationship, relation

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


(subclass BinaryRelation Relation) Merge.kif 2342-2342 Binary relation is a subclass of relation
(subclass BinaryRelation InheritableRelation) Merge.kif 2343-2343 Binary relation is a subclass of inheritable relation
(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 Binary relation is a subclass of inheritable relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2270-2271 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2349-2349 Reflexive relation is a subclass of binary relation
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2359-2359 Irreflexive relation is a subclass of binary relation
(subclass SymmetricRelation BinaryRelation) Merge.kif 2370-2370 Symmetric relation is a subclass of binary relation
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2402-2402 Antisymmetric relation is a subclass of binary relation
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2420-2420 Trichotomizing relation is a subclass of binary relation
(subclass TransitiveRelation BinaryRelation) Merge.kif 2443-2443 Transitive relation is a subclass of binary relation
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2459-2459 Intransitive relation is a subclass of binary relation
(subclass UnaryFunction BinaryRelation) Merge.kif 3472-3472 Unary function is a subclass of binary relation
(subclass BinaryPredicate BinaryRelation) Merge.kif 3592-3592 Binary predicate is a subclass of binary relation
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 18518-18518 Economic relation is a subclass of binary relation
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 990-990 Economic relation is a subclass of binary relation

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


(domain inverse 1 BinaryRelation) Merge.kif 111-111 The number 1 argument of inverse is an instance of binary relation
(domain inverse 2 BinaryRelation) Merge.kif 112-112 The number 2 argument of inverse is an instance of binary relation
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3714-3714 The number 1 argument of reflexive on is an instance of binary relation
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3751-3751 The number 1 argument of partial ordering on is an instance of binary relation
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3767-3767 The number 1 argument of total ordering on is an instance of binary relation
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3788-3788 The number 1 argument of trichotomizing on is an instance of binary relation
(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3811-3811 The number 1 argument of equivalence relation on is an instance of binary relation


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