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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CargoShip
CargoShip(cargo ship)
Liberty_ship, banana_boat, bottom, cargo_ship, cargo_vessel, freighter, merchant_ship, merchantman

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28252-28255
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1691-1691
No TPTP formula. May not be expressible in strict first order. pictureList.kif 323-323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28251-28251 Cargo ship is a subclass of ship

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2305-2305 Cargo ship has name "freighter"
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2314-2314 Barge carrier ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2360-2360 Chemical tanker ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2384-2384 Combination bulk carrier ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2321-2321 Container ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2407-2407 Dry bulk carrier ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2304-2304 General cargo ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2371-2371 Liquefied gas tanker ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2316-2316 Livestock carrier ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2348-2348 Multifunctional large load carrier ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2462-2462 Ocean liner is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2422-2422 Passenger and cargo ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2352-2352 Petroleum tanker ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2326-2326 Refrigerated cargo ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2329-2329 Roll on roll off cargo ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2416-2416 Specialized tanker ship is a subclass of cargo ship
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13171-13171
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13170-13170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13169-13169

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28257-28266


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