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 2235-2237
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2233-2233 二元关系可继承的关系subclass
(subclass BinaryRelation Relation) Merge.kif 2232-2232 二元关系关系subclass

appearance as argument number 2

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2160-2161 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 251-251 催化剂二元关系instance
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 deviceOS二元关系instance
(instance hardwareType BinaryRelation) QoSontology.kif 1021-1021 硬件类型二元关系instance
(instance physicalEnd BinaryRelation) Merge.kif 17955-17955 physicalEnd二元关系instance
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4419-4419 recoveryKey二元关系instance
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3862-3862 softwareVersion二元关系instance
(instance suffers BinaryRelation) Mid-level-ontology.kif 29566-29566 suffers二元关系instance
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2292-2292 反对称关系二元关系subclass
(subclass BinaryPredicate BinaryRelation) Merge.kif 3479-3479 二元谓语二元关系subclass
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 16899-16899 经济关系二元关系subclass
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2349-2349 非传递关系二元关系subclass
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2249-2249 非自反关系二元关系subclass
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2239-2239 自反关系二元关系subclass
(subclass SymmetricRelation BinaryRelation) Merge.kif 2260-2260 对称关系二元关系subclass
(subclass TransitiveRelation BinaryRelation) Merge.kif 2333-2333 传递关系二元关系subclass
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2310-2310 三分关系二元关系subclass
(subclass UnaryFunction BinaryRelation) Merge.kif 3359-3359 一元函数二元关系subclass
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 892-892
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 986-986
(termFormat FrenchLanguage BinaryRelation "relation binaire") french_format.kif 568-568
(termFormat Hindi BinaryRelation "dvi-aadhaarI sambandha") terms-hindi.txt 98-98
(termFormat ItalianLanguage BinaryRelation "RelazioneBinaria") terms-it.txt 101-101
(termFormat JapaneseLanguage BinaryRelation "2項関係") japanese_format.kif 2253-2253

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 3705-3705 属于等价关系 的 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 3642-3642 含偏序关系 的 1 数量 是 二元关系instance
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3603-3603 含自反关系 的 1 数量 是 二元关系instance
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3659-3659 含全序关系 的 1 数量 是 二元关系instance
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3681-3681 含三分律关系 的 1 数量 是 二元关系instance

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