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 13250-13250
(termFormat ChineseTraditionalLanguage cargoType "貨物類型")	domainEnglishFormat.kif 13249-13249
(termFormat EnglishLanguage cargoType "cargo type")	domainEnglishFormat.kif 13248-13248

consequent

(=> (instance ?SHIP ChemicalTankerShip) (cargoType ?SHIP ChemicalProduct))	Transportation.kif 2549-2551	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 2577-2579	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 2581-2583	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 2587-2589	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 2591-2593	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 2507-2509	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 2492-2494	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 2564-2566	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 2560-2562	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 2502-2504	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 2485-2487	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 2542-2544	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 2530-2532	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 2605-2607	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 2522-2524	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 2158-2163	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