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 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 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 2374-2376
(=>
    (instance ?SHIP CombinationBulkOilCarrierShip)
    (cargoType ?SHIP Object))
Transportation.kif 2400-2402
(=>
    (instance ?SHIP CombinationBulkOilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2404-2406
(=>
    (instance ?SHIP CombinationOreOilCarrierShip)
    (cargoType ?SHIP Mineral))
Transportation.kif 2410-2412
(=>
    (instance ?SHIP CombinationOreOilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2414-2416
(=>
    (instance ?SHIP ContainerShip)
    (cargoType ?SHIP ShipContainer))
Transportation.kif 2333-2335
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))
Transportation.kif 2318-2320
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2389-2391
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2385-2387
(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2328-2330
(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))
Transportation.kif 2311-2313
(=>
    (instance ?SHIP PetroleumTankerShip)
    (cargoType ?SHIP PetroleumProduct))
Transportation.kif 2367-2369
(=>
    (instance ?SHIP RailcarCarrierShip)
    (cargoType ?SHIP RollingStock))
Transportation.kif 2355-2357
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2428-2430
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))
Transportation.kif 2347-2349
(=>
    (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