TreeView Knowledge Base Browser - OpenTopRailcar

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - OpenTopRailcar

OpenTopRailcar(敞篷車)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2206-2207
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2605-2605
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2205-2205	子類敞篷車 and 貨車

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2183-2183	子類敞車 and 敞篷車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2224-2224	子類旋轉式自卸車 and 敞篷車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42230-42230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42229-42229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42228-42228

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