cargoType - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - cargoType

cargoType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1027-1029
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1025-1025	The number 1 argument of cargo type is an instance of transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1026-1026	The number 2 argument of cargo type is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1024-1024	cargo type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 380-380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 379-379
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 378-378
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13177-13177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13176-13176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13175-13175

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2363-2365	If a transportation device is an instance of chemical tanker ship, then chemical product is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2389-2391	If a transportation device is an instance of combination bulk- oil carrier ship, then object is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2393-2395	If a transportation device is an instance of combination bulk- oil carrier ship, then petroleum is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2399-2401	If a transportation device is an instance of combination ore- oil carrier ship, then mineral is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2403-2405	If a transportation device is an instance of combination ore- oil carrier ship, then petroleum is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2322-2324	If a transportation device is an instance of container ship, then ship container is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2307-2309	If a transportation device is an instance of general cargo ship, then product is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2378-2380	If a transportation device is an instance of liquefied gas tanker ship, then the class corresponding to liquid is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2374-2376	If a transportation device is an instance of liquefied gas tanker ship, then chemical product is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2317-2319	If a transportation device is an instance of livestock carrier ship, then livestock is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2300-2302	If a transportation device is an instance of passenger ship, then human is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2356-2358	If a transportation device is an instance of petroleum tanker ship, then petroleum product is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2344-2346	If a transportation device is an instance of railcar carrier ship, then rolling stock is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2417-2419	If a transportation device is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2336-2338	If a transportation device is an instance of vehicle carrier ship, then vehicle is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2009-2014	If a transportation device is an instance of truck, then there exists a kind of object such that a kind of object is a subclass of object and the kind of object is a cargo type of the transportation device

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