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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryRelation

 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 2175-2177
(subclass BinaryRelation InheritableRelation) Merge.kif 2173-2173 Binary relation is a subclass of inheritable relation
(subclass BinaryRelation Relation) Merge.kif 2172-2172 Binary relation is a subclass of relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2100-2101 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 4503-4503 burn-in period is an instance of binary relation
(instance catalogItem BinaryRelation) Catalog.kif 44-44 catalogItem is an instance of binary relation
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 206-206 catalyst 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 694-694 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 4220-4220 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 hazardous BinaryRelation) Geography.kif 5768-5768 hazardous 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 locationMeasuringList BinaryRelation) Weather.kif 1766-1766 location measuring list is an instance of binary relation
(instance measuringListDuration BinaryRelation) Weather.kif 1875-1875 measuring list duration is an instance of binary relation
(instance measuringListInterval BinaryRelation) Weather.kif 1857-1857 measuring list interval is an instance of binary relation
(instance measuringResult BinaryRelation) Weather.kif 1803-1803 measuring result is an instance of binary relation
(instance medicine BinaryRelation) VirusProteinAndCellPart.kif 741-741 medicine is an instance of binary relation
(instance permits BinaryRelation) Law.kif 33-33 permits is an instance of binary relation
(instance physicalEnd BinaryRelation) Merge.kif 17664-17664 physical end 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

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 3633-3633 The number 1 argument of equivalence relation on is an instance of binary relation
(domain inverse 1 BinaryRelation) Merge.kif 109-109 The number 1 argument of inverse is an instance of binary relation
(domain inverse 2 BinaryRelation) Merge.kif 110-110 The number 2 argument of inverse is an instance of binary relation
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3570-3570 The number 1 argument of partial ordering on is an instance of binary relation
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3531-3531 The number 1 argument of reflexive on is an instance of binary relation
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3587-3587 The number 1 argument of total ordering on is an instance of binary relation
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3609-3609 The number 1 argument of trichotomizing on is an instance of binary relation


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

Show without tree


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