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 1038-1040
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1036-1036	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 1037-1037	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 1035-1035	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 13251-13251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13250-13250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13249-13249

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2550-2552	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 2578-2580	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 2582-2584	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 2588-2590	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 2592-2594	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 2508-2510	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 2493-2495	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 2565-2567	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 2561-2563	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 2503-2505	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 2486-2488	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 2543-2545	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 2531-2533	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 2606-2608	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 2523-2525	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 2159-2164	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