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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorScooter

 Sigma KEE - MotorScooter
MotorScooter(小型摩托车)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4933-4933
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5065-5065
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1452-1452
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1885-1885 小型摩托车 是 公路车辆 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38853-38853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38852-38852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38851-38851


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