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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wagon

 Sigma KEE - Wagon
Wagon(车皮)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1848-1850
No TPTP formula. May not be expressible in strict first order. pictureList.kif 59-59
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1846-1846 车皮 是 陆地车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1847-1847 车皮 是 无动力车辆 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1819-1819 车皮 是 卡车拖车制造 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1866-1866 舞台教练 是 车皮 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1841-1841 卡车拖车 是 车皮 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62055-62055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62054-62054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62053-62053

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1852-1864


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