Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation

appearance as argument number 1

(documentation BinaryRelation ChineseLanguage " BinaryRelation 是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表 BinaryRelation。") chinese_format.kif 1831-1832
(documentation BinaryRelation EnglishLanguage "BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.") Merge.kif 2142-2144
(subclass BinaryRelation InheritableRelation) Merge.kif 2140-2140 subclass BinaryRelation and InheritableRelation
(subclass BinaryRelation Relation) Merge.kif 2139-2139 subclass BinaryRelation and Relation

appearance as argument number 2

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2068-2069 disjointDecomposition Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation
(instance actionTendency BinaryRelation) emotion.kif 155-155 instance actionTendency and BinaryRelation
(instance burnInPeriod BinaryRelation) UXExperimentalTerms.kif 4500-4500 instance burnInPeriod and BinaryRelation
(instance catalogItem BinaryRelation) Catalog.kif 44-44 instance catalogItem and BinaryRelation
(instance categoryID BinaryRelation) UXExperimentalTerms.kif 203-203 instance categoryID and BinaryRelation
(instance containsFormula BinaryRelation) Law.kif 20-20 instance containsFormula and BinaryRelation
(instance deviceOS BinaryRelation) ComputingBrands.kif 701-701 instance deviceOS and BinaryRelation
(instance emotionTendency BinaryRelation) emotion.kif 139-139 instance emotionTendency and BinaryRelation
(instance experimentID BinaryRelation) UXExperimentalTerms.kif 4215-4215 instance experimentID and BinaryRelation
(instance hardwareType BinaryRelation) QoSontology.kif 1019-1019 instance hardwareType and BinaryRelation
(instance inhibits BinaryRelation) Law.kif 181-181 instance inhibits and BinaryRelation
(instance listingBidder BinaryRelation) UXExperimentalTerms.kif 123-123 instance listingBidder and BinaryRelation
(instance listingBuyer BinaryRelation) UXExperimentalTerms.kif 92-92 instance listingBuyer and BinaryRelation
(instance listingSeller BinaryRelation) UXExperimentalTerms.kif 56-56 instance listingSeller and BinaryRelation
(instance permits BinaryRelation) Law.kif 33-33 instance permits and BinaryRelation
(instance prohibits BinaryRelation) Law.kif 55-55 instance prohibits and BinaryRelation
(instance punishes BinaryRelation) Law.kif 137-137 instance punishes and BinaryRelation
(instance recordForAgremeent BinaryRelation) Law.kif 535-535 instance recordForAgremeent and BinaryRelation
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4339-4339 instance recoveryKey and BinaryRelation
(instance rewards BinaryRelation) Law.kif 93-93 instance rewards and BinaryRelation
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3799-3799 instance softwareVersion and BinaryRelation
(instance suffers BinaryRelation) Mid-level-ontology.kif 27778-27778 instance suffers and BinaryRelation
(instance userIDString BinaryRelation) UXExperimentalTerms.kif 1281-1281 instance userIDString and BinaryRelation
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2193-2193 subclass AntisymmetricRelation and BinaryRelation
(subclass BinaryPredicate BinaryRelation) Merge.kif 3355-3355 subclass BinaryPredicate and BinaryRelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3573-3573 domain equivalenceRelationOn, 1 and BinaryRelation
(domain inverse 1 BinaryRelation) Merge.kif 110-110 domain inverse, 1 and BinaryRelation
(domain inverse 2 BinaryRelation) Merge.kif 111-111 domain inverse, 2 and BinaryRelation
(domain irreflexiveOn 1 BinaryRelation) Merge.kif 3497-3497 domain irreflexiveOn, 1 and BinaryRelation
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3516-3516 domain partialOrderingOn, 1 and BinaryRelation
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3479-3479 domain reflexiveOn, 1 and BinaryRelation
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3533-3533 domain totalOrderingOn, 1 and BinaryRelation
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3549-3549 domain trichotomizingOn, 1 and BinaryRelation

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 is open source software produced by Articulate Software and its partners