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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
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 2229-2231
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2227-2227 子類 BinaryRelation and 可繼承的關係
(subclass BinaryRelation Relation) Merge.kif 2226-2226 子類 BinaryRelation and Relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2154-2155 不相交分解 Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 251-251 例 催化劑 and BinaryRelation
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 例 deviceOS and BinaryRelation
(instance hardwareType BinaryRelation) QoSontology.kif 1127-1127 例 硬件類型 and BinaryRelation
(instance physicalEnd BinaryRelation) Merge.kif 18037-18037 例 physicalEnd and BinaryRelation
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4419-4419 例 recoveryKey and BinaryRelation
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3862-3862 例 softwareVersion and BinaryRelation
(instance suffers BinaryRelation) Mid-level-ontology.kif 30693-30693 例 suffers and BinaryRelation
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2286-2286 子類 AntisymmetricRelation and BinaryRelation
(subclass BinaryPredicate BinaryRelation) Merge.kif 3474-3474 子類 BinaryPredicate and BinaryRelation
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 17828-17828 子類 經濟關係 and BinaryRelation
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2343-2343 子類 IntransitiveRelation and BinaryRelation
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2243-2243 子類 IrreflexiveRelation and BinaryRelation
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2233-2233 子類 ReflexiveRelation and BinaryRelation
(subclass SymmetricRelation BinaryRelation) Merge.kif 2254-2254 子類 SymmetricRelation and BinaryRelation
(subclass TransitiveRelation BinaryRelation) Merge.kif 2327-2327 子類 TransitiveRelation and BinaryRelation
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2304-2304 子類 TrichotomizingRelation and BinaryRelation
(subclass UnaryFunction BinaryRelation) Merge.kif 3354-3354 子類 UnaryFunction and BinaryRelation
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 892-892 子類 UnaryFunction and BinaryRelation
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 986-986 子類 UnaryFunction and BinaryRelation
(termFormat FrenchLanguage BinaryRelation "relation binaire") french_format.kif 568-568 子類 UnaryFunction and BinaryRelation
(termFormat Hindi BinaryRelation "dvi-aadhaarI sambandha") terms-hindi.txt 98-98 子類 UnaryFunction and BinaryRelation
(termFormat ItalianLanguage BinaryRelation "RelazioneBinaria") terms-it.txt 101-101 子類 UnaryFunction and BinaryRelation
(termFormat JapaneseLanguage BinaryRelation "2項関係") japanese_format.kif 2253-2253 子類 UnaryFunction and BinaryRelation

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 3700-3700 域 等價關係, 1 and BinaryRelation
(domain inverse 1 BinaryRelation) Merge.kif 111-111 域 逆, 1 and BinaryRelation
(domain inverse 2 BinaryRelation) Merge.kif 112-112 域 逆, 2 and BinaryRelation
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3637-3637 域 部分訂購在, 1 and BinaryRelation
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3598-3598 域 反思在, 1 and BinaryRelation
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3654-3654 域 總訂貨量, 1 and BinaryRelation
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3676-3676 域 trichotomizing, 1 and BinaryRelation


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