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 2183-2185
(subclass BinaryRelation InheritableRelation) Merge.kif 2181-2181 二元关系可继承的关系subclass
(subclass BinaryRelation Relation) Merge.kif 2180-2180 二元关系关系subclass

appearance as argument number 2

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2108-2109 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系
(instance actionTendency BinaryRelation) emotion.kif 155-155 actionTendency二元关系instance
(instance burnInPeriod BinaryRelation) UXExperimentalTerms.kif 4505-4505 burnInPeriod二元关系instance
(instance catalogItem BinaryRelation) Catalog.kif 44-44 catalogItem二元关系instance
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 206-206 催化剂二元关系instance
(instance categoryID BinaryRelation) UXExperimentalTerms.kif 203-203 categoryID二元关系instance
(instance containsFormula BinaryRelation) Law.kif 20-20 containsFormula二元关系instance
(instance deviceOS BinaryRelation) ComputingBrands.kif 694-694 deviceOS二元关系instance
(instance emotionTendency BinaryRelation) emotion.kif 139-139 emotionTendency二元关系instance
(instance experimentID BinaryRelation) UXExperimentalTerms.kif 4222-4222 experimentID二元关系instance
(instance hardwareType BinaryRelation) QoSontology.kif 1019-1019 硬件类型二元关系instance
(instance hazardous BinaryRelation) Geography.kif 5768-5768 危险二元关系instance
(instance inhibits BinaryRelation) Law.kif 181-181 抑制二元关系instance
(instance listingBidder BinaryRelation) UXExperimentalTerms.kif 123-123 listingBidder二元关系instance
(instance listingBuyer BinaryRelation) UXExperimentalTerms.kif 92-92 listingBuyer二元关系instance
(instance listingSeller BinaryRelation) UXExperimentalTerms.kif 56-56 listingSeller二元关系instance
(instance locationMeasuringList BinaryRelation) Weather.kif 1766-1766 位置量度串列二元关系instance
(instance measuringListDuration BinaryRelation) Weather.kif 1875-1875 量度串列持续时间二元关系instance
(instance measuringListInterval BinaryRelation) Weather.kif 1857-1857 量度串列时间间隔二元关系instance
(instance measuringResult BinaryRelation) Weather.kif 1803-1803 量度结果二元关系instance
(instance medicine BinaryRelation) VirusProteinAndCellPart.kif 741-741 medicine二元关系instance
(instance permits BinaryRelation) Law.kif 33-33 permits二元关系instance
(instance physicalEnd BinaryRelation) Merge.kif 17671-17671 physicalEnd二元关系instance
(instance prohibits BinaryRelation) Law.kif 55-55 prohibits二元关系instance
(instance punishes BinaryRelation) Law.kif 137-137 punishes二元关系instance

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 3641-3641 属于等价关系 的 1 数量 是 二元关系instance
(domain inverse 1 BinaryRelation) Merge.kif 111-111 逆向 的 1 数量 是 二元关系instance
(domain inverse 2 BinaryRelation) Merge.kif 112-112 逆向 的 2 数量 是 二元关系instance
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3578-3578 含偏序关系 的 1 数量 是 二元关系instance
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3539-3539 含自反关系 的 1 数量 是 二元关系instance
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3595-3595 含全序关系 的 1 数量 是 二元关系instance
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3617-3617 含三分律关系 的 1 数量 是 二元关系instance

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