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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DryBulkCarrierShip
DryBulkCarrierShip(dry bulk carrier ship)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1737-1737
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2418-2418 Dry bulk carrier ship is a subclass of cargo ship

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2420-2420 Bulk cargo ship is a subclass of dry bulk carrier ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2423-2423 Cement carrier ship is a subclass of dry bulk carrier ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2421-2421 Ore carrier ship is a subclass of dry bulk carrier ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2422-2422 Self discharging bulk carrier ship is a subclass of dry bulk carrier ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2425-2425 Urea carrier ship is a subclass of dry bulk carrier ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2424-2424 Wood chips carrier ship is a subclass of dry bulk carrier ship
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20568-20568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20567-20567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20566-20566


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