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

consequent

(=> (instance ?SHIP ChemicalTankerShip) (cargoType ?SHIP ChemicalProduct))	Transportation.kif 2543-2545	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 2569-2571	If a transportation device is an instance of CombinationBulkOilCarrierShip, then object is a cargo type of the transportation device
(=> (instance ?SHIP CombinationBulkOilCarrierShip) (cargoType ?SHIP Petroleum))	Transportation.kif 2573-2575	If a transportation device is an instance of CombinationBulkOilCarrierShip, then petroleum is a cargo type of the transportation device
(=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Mineral))	Transportation.kif 2579-2581	If a transportation device is an instance of CombinationOreOilCarrierShip, then mineral is a cargo type of the transportation device
(=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Petroleum))	Transportation.kif 2583-2585	If a transportation device is an instance of CombinationOreOilCarrierShip, then petroleum is a cargo type of the transportation device
(=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer))	Transportation.kif 2502-2504	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 2487-2489	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 2558-2560	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 2554-2556	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 2497-2499	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 2480-2482	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 2536-2538	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 2524-2526	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 2597-2599	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 2516-2518	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