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。") Merge.kif 2367-2368
(documentation BinaryRelation EnglishLanguage "BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.") Merge.kif 2364-2366
(subclass BinaryRelation InheritableRelation) Merge.kif 2363-2363
(subclass BinaryRelation Relation) Merge.kif 2362-2362

appearance as argument number 2

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2279-2280
(instance burnInPeriod BinaryRelation) UXExperimentalTerms.kif 4494-4494
(instance catalogItem BinaryRelation) Catalog.kif 44-44
(instance categoryID BinaryRelation) UXExperimentalTerms.kif 203-203
(instance containsFormula BinaryRelation) Law.kif 20-20
(instance experimentID BinaryRelation) UXExperimentalTerms.kif 4208-4208
(instance hardwareType BinaryRelation) QoSontology.kif 1009-1009
(instance inhibits BinaryRelation) Law.kif 180-180
(instance listingBidder BinaryRelation) UXExperimentalTerms.kif 123-123
(instance listingBuyer BinaryRelation) UXExperimentalTerms.kif 92-92
(instance listingSeller BinaryRelation) UXExperimentalTerms.kif 56-56
(instance permits BinaryRelation) Law.kif 33-33
(instance prohibits BinaryRelation) Law.kif 55-55
(instance punishes BinaryRelation) Law.kif 136-136
(instance recordForAgremeent BinaryRelation) Law.kif 531-531
(instance rewards BinaryRelation) Law.kif 92-92
(instance suffers BinaryRelation) Mid-level-ontology.kif 27747-27747
(instance userIDString BinaryRelation) UXExperimentalTerms.kif 1284-1284
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2421-2421
(subclass BinaryPredicate BinaryRelation) Merge.kif 3575-3575
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 14455-14455
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2485-2485
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2381-2381
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2370-2370
(subclass SymmetricRelation BinaryRelation) Merge.kif 2393-2393

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 3822-3822
(domain inverse 1 BinaryRelation) Merge.kif 117-117
(domain inverse 2 BinaryRelation) Merge.kif 118-118
(domain irreflexiveOn 1 BinaryRelation) Merge.kif 3738-3738
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3758-3758
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3719-3719
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3777-3777
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3795-3795

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners