Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


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

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2068-2069 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(instance actionTendency BinaryRelation) emotion.kif 155-155 actionTendency is an instance of binary relation
(instance burnInPeriod BinaryRelation) UXExperimentalTerms.kif 4500-4500 burn-in period is an instance of binary relation
(instance catalogItem BinaryRelation) Catalog.kif 44-44 catalogItem is an instance of binary relation
(instance categoryID BinaryRelation) UXExperimentalTerms.kif 203-203 category identifier string is an instance of binary relation
(instance containsFormula BinaryRelation) Law.kif 20-20 contains formula is an instance of binary relation
(instance deviceOS BinaryRelation) ComputingBrands.kif 701-701 deviceOS is an instance of binary relation
(instance emotionTendency BinaryRelation) emotion.kif 139-139 emotionTendency is an instance of binary relation
(instance experimentID BinaryRelation) UXExperimentalTerms.kif 4215-4215 experiment identifier string is an instance of binary relation
(instance hardwareType BinaryRelation) QoSontology.kif 1019-1019 hardware type is an instance of binary relation
(instance inhibits BinaryRelation) Law.kif 181-181 inhibits is an instance of binary relation
(instance listingBidder BinaryRelation) UXExperimentalTerms.kif 123-123 listing bidder is an instance of binary relation
(instance listingBuyer BinaryRelation) UXExperimentalTerms.kif 92-92 listing buyer is an instance of binary relation
(instance listingSeller BinaryRelation) UXExperimentalTerms.kif 56-56 listing seller is an instance of binary relation
(instance permits BinaryRelation) Law.kif 33-33 permits is an instance of binary relation
(instance prohibits BinaryRelation) Law.kif 55-55 prohibits is an instance of binary relation
(instance punishes BinaryRelation) Law.kif 137-137 punishes is an instance of binary relation
(instance recordForAgremeent BinaryRelation) Law.kif 535-535 record for agreement is an instance of binary relation
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4339-4339 recoveryKey is an instance of binary relation
(instance rewards BinaryRelation) Law.kif 93-93 rewards is an instance of binary relation
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3799-3799 software version is an instance of binary relation
(instance suffers BinaryRelation) Mid-level-ontology.kif 27778-27778 suffers is an instance of binary relation
(instance userIDString BinaryRelation) UXExperimentalTerms.kif 1281-1281 user identifier string is an instance of binary relation
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2193-2193 Antisymmetric relation is a subclass of binary relation
(subclass BinaryPredicate BinaryRelation) Merge.kif 3355-3355 Binary predicate is a subclass of binary relation

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 The number 1 argument of equivalence relation on is an instance of binary relation
(domain inverse 1 BinaryRelation) Merge.kif 110-110 The number 1 argument of inverse is an instance of binary relation
(domain inverse 2 BinaryRelation) Merge.kif 111-111 The number 2 argument of inverse is an instance of binary relation
(domain irreflexiveOn 1 BinaryRelation) Merge.kif 3497-3497 The number 1 argument of irreflexive on is an instance of binary relation
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3516-3516 The number 1 argument of partial ordering on is an instance of binary relation
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3479-3479 The number 1 argument of reflexive on is an instance of binary relation
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3533-3533 The number 1 argument of total ordering on is an instance of binary relation
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3549-3549 The number 1 argument of trichotomizing 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 is open source software produced by Articulate Software and its partners