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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wheel
Wheel(輪)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3367-3368
No TPTP formula. May not be expressible in strict first order. pictureList.kif 838-838
No TPTP formula. May not be expressible in strict first order. pictureList.kif 200-200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3366-3366 子類 and Artifact

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4495-4495 子類 CommodoreWheel and
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3361-3361 子類 車輪 and
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62981-62981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62980-62980
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62979-62979

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1292-1307

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2308-2320
No TPTP formula. May not be expressible in strict first order. Cars.kif 4772-4781
No TPTP formula. May not be expressible in strict first order. Cars.kif 4438-4448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3370-3375
No TPTP formula. May not be expressible in strict first order. Cars.kif 4306-4319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3907-3912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26162-26169


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