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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kayak

 Sigma KEE - Kayak
Kayak(皮艇)

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 202-203
No TPTP formula. May not be expressible in strict first order. pictureList.kif 533-533
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2503-2503 子類 皮艇 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order. Sports.kif 201-201 子類 皮艇 and 水車

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32245-32245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32244-32244
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32243-32243


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