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

(documentation cargoType EnglishLanguage "(cargoType ?DEVICE ?TYPE) means that the TransportationDevice ?DEVICE typically carries cargo of the kind ?TYPE.")	Transportation.kif 1038-1040
(domain cargoType 1 TransportationDevice)	Transportation.kif 1036-1036	The number 1 argument of cargo type is an instance of transportation device
(domainSubclass cargoType 2 Object)	Transportation.kif 1037-1037	The number 2 argument of cargo type is a subclass of object
(instance cargoType BinaryPredicate)	Transportation.kif 1035-1035	cargo type is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage cargoType "%2 %n 是 %1 的 cargo 种类")	domainEnglishFormat.kif 380-380
(format ChineseTraditionalLanguage cargoType "%2 %n 是 %1 的 cargo 種類")	domainEnglishFormat.kif 379-379
(format EnglishLanguage cargoType "%2 is %n a cargo type of %1")	domainEnglishFormat.kif 378-378
(termFormat ChineseLanguage cargoType "货物类型")	domainEnglishFormat.kif 13257-13257
(termFormat ChineseTraditionalLanguage cargoType "貨物類型")	domainEnglishFormat.kif 13256-13256
(termFormat EnglishLanguage cargoType "cargo type")	domainEnglishFormat.kif 13255-13255

consequent

(=> (instance ?SHIP ChemicalTankerShip) (cargoType ?SHIP ChemicalProduct))	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
(=> (instance ?SHIP CombinationBulkOilCarrierShip) (cargoType ?SHIP Object))	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
(=> (instance ?SHIP CombinationBulkOilCarrierShip) (cargoType ?SHIP Petroleum))	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
(=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Mineral))	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
(=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Petroleum))	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
(=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer))	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
(=> (instance ?SHIP GeneralCargoShip) (cargoType ?SHIP Product))	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
(=> (instance ?SHIP LiquefiedGasTankerShip) (cargoType ?SHIP (ExtensionFn Liquid)))	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
(=> (instance ?SHIP LiquefiedGasTankerShip) (cargoType ?SHIP ChemicalProduct))	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
(=> (instance ?SHIP LivestockCarrierShip) (cargoType ?SHIP Livestock))	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
(=> (instance ?SHIP PassengerShip) (cargoType ?SHIP Human))	Transportation.kif 2486-2488	If a transportation device is an instance of passenger ship, then human is a cargo type of the transportation device
(=> (instance ?SHIP PetroleumTankerShip) (cargoType ?SHIP PetroleumProduct))	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
(=> (instance ?SHIP RailcarCarrierShip) (cargoType ?SHIP RollingStock))	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
(=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid)))	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
(=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle))	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
(=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L))))	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