Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  cargoType

 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 货物类型 的 1 数量 是 运输设备 的 instance
(domainSubclass cargoType 2 Object) Transportation.kif 1037-1037 货物类型 的 2 数量 是 客体 的 subclass
(instance cargoType BinaryPredicate) Transportation.kif 1035-1035 货物类型 是 二元谓语 的 instance

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

consequent
-------------------------


(=>
    (instance ?SHIP ChemicalTankerShip)
    (cargoType ?SHIP ChemicalProduct))		 Transportation.kif 2380-2382
(=>
    (instance ?SHIP CombinationBulkOilCarrierShip)
    (cargoType ?SHIP Object))		 Transportation.kif 2406-2408
(=>
    (instance ?SHIP CombinationBulkOilCarrierShip)
    (cargoType ?SHIP Petroleum))		 Transportation.kif 2410-2412
(=>
    (instance ?SHIP CombinationOreOilCarrierShip)
    (cargoType ?SHIP Mineral))		 Transportation.kif 2416-2418
(=>
    (instance ?SHIP CombinationOreOilCarrierShip)
    (cargoType ?SHIP Petroleum))		 Transportation.kif 2420-2422
(=>
    (instance ?SHIP ContainerShip)
    (cargoType ?SHIP ShipContainer))		 Transportation.kif 2339-2341
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))		 Transportation.kif 2324-2326
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))		 Transportation.kif 2395-2397
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP ChemicalProduct))		 Transportation.kif 2391-2393
(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))		 Transportation.kif 2334-2336
(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))		 Transportation.kif 2317-2319
(=>
    (instance ?SHIP PetroleumTankerShip)
    (cargoType ?SHIP PetroleumProduct))		 Transportation.kif 2373-2375
(=>
    (instance ?SHIP RailcarCarrierShip)
    (cargoType ?SHIP RollingStock))		 Transportation.kif 2361-2363
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2434-2436
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))		 Transportation.kif 2353-2355
(=>
    (instance ?T Truck)
    (exists (?L)
        (and
            (subclass ?L Object)
            (cargoType ?T ?L))))		 Transportation.kif 2019-2024


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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