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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Boxcar
Boxcar(棚車)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2151-2152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2541-2541
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2542-2542
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2150-2150 子類 棚車 and 貨車

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2222-2222 子類 冰箱車 and 棚車
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11807-11807
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11806-11806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11805-11805


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