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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1831-1832
No TPTP formula. May not be expressible in strict first order. Merge.kif 2235-2237
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 451-452
No TPTP formula. May not be expressible in strict first order. Merge.kif 2233-2233 子類 BinaryRelation and 可繼承的關係
No TPTP formula. May not be expressible in strict first order. Merge.kif 2232-2232 子類 BinaryRelation and Relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 不相交分解 Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 251-251 催化劑 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 726-726 deviceOS and BinaryRelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1021-1021 硬件類型 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17933-17933 physicalEnd and BinaryRelation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4419-4419 recoveryKey and BinaryRelation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3862-3862 softwareVersion and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29578-29578 suffers and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2292-2292 子類 AntisymmetricRelation and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3479-3479 子類 BinaryPredicate and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16900-16900 子類 經濟關係 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2349-2349 子類 IntransitiveRelation and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2249-2249 子類 IrreflexiveRelation and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2239-2239 子類 ReflexiveRelation and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2260-2260 子類 SymmetricRelation and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2333-2333 子類 TransitiveRelation and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2310-2310 子類 TrichotomizingRelation and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3359-3359 子類 UnaryFunction and BinaryRelation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 892-892
No TPTP formula. May not be expressible in strict first order. english_format.kif 986-986
No TPTP formula. May not be expressible in strict first order. french_format.kif 568-568
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order. terms-it.txt 101-101
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3705-3705 等價關係, 1 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 111-111 , 1 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 112-112 , 2 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3642-3642 部分訂購在, 1 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3603-3603 反思在, 1 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3659-3659 總訂貨量, 1 and BinaryRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3681-3681 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