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 2222-2224
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2220-2220
(subclass BinaryRelation Relation) Merge.kif 2219-2219

appearance as argument number 2

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2147-2148
(instance actionTendency BinaryRelation) emotion.kif 155-155
(instance burnInPeriod BinaryRelation) UXExperimentalTerms.kif 4505-4505
(instance catalogItem BinaryRelation) Catalog.kif 44-44
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 206-206
(instance categoryID BinaryRelation) UXExperimentalTerms.kif 203-203
(instance containsFormula BinaryRelation) Law.kif 20-20
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726
(instance emotionTendency BinaryRelation) emotion.kif 139-139
(instance experimentID BinaryRelation) UXExperimentalTerms.kif 4219-4219
(instance grainSize BinaryRelation) Food.kif 829-829
(instance hardwareType BinaryRelation) QoSontology.kif 1021-1021
(instance inhibits BinaryRelation) Law.kif 181-181
(instance listingBidder BinaryRelation) UXExperimentalTerms.kif 123-123
(instance listingBuyer BinaryRelation) UXExperimentalTerms.kif 92-92
(instance listingSeller BinaryRelation) UXExperimentalTerms.kif 56-56
(instance locationMeasuringList BinaryRelation) Weather.kif 1767-1767
(instance measuringListDuration BinaryRelation) Weather.kif 1876-1876
(instance measuringListInterval BinaryRelation) Weather.kif 1858-1858
(instance measuringResult BinaryRelation) Weather.kif 1804-1804
(instance permits BinaryRelation) Law.kif 33-33
(instance physicalEnd BinaryRelation) Merge.kif 17827-17827
(instance prohibits BinaryRelation) Law.kif 55-55
(instance punishes BinaryRelation) Law.kif 137-137
(instance recordForAgremeent BinaryRelation) Law.kif 510-510

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 3692-3692
(domain inverse 1 BinaryRelation) Merge.kif 111-111
(domain inverse 2 BinaryRelation) Merge.kif 112-112
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3629-3629
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3590-3590
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3646-3646
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3668-3668

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