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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Solution
Solution

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3460-3462
No TPTP formula. May not be expressible in strict first order. Merge.kif 14724-14728
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2524-2524
No TPTP formula. May not be expressible in strict first order. Merge.kif 14723-14723 子類 Solution and 液體混合物

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14710-14710 劃分 液體混合物, Solution and 懸掛
No TPTP formula. May not be expressible in strict first order. Cars.kif 1214-1214 子類 Antifreeze and Solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1715-1715 子類 柴油燃料 and Solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1710-1710 子類 汽油 and Solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8770-8770 子類 生理鹽水 and Solution
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 829-829
No TPTP formula. May not be expressible in strict first order. english_format.kif 860-860
No TPTP formula. May not be expressible in strict first order. french_format.kif 505-505
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 37-37
No TPTP formula. May not be expressible in strict first order. terms-it.txt 40-40
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2190-2190
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 457-457
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 42-42
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 72-72
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 526-526
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 41-41

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3300-3300 域 氫的潛力, 1 and Solution

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17560-17562

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21597-21602
No TPTP formula. May not be expressible in strict first order. Geography.kif 7380-7392
No TPTP formula. May not be expressible in strict first order. Geography.kif 7352-7363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19618-19624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19602-19612
No TPTP formula. May not be expressible in strict first order. Cars.kif 922-936


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