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 1012-1014
(domain cargoType 1 TransportationDevice) Transportation.kif 1010-1010 The number 1 argument of cargo type is an instance of transportation device
(domainSubclass cargoType 2 Object) Transportation.kif 1011-1011 The number 2 argument of cargo type is a subclass of object
(instance cargoType BinaryPredicate) Transportation.kif 1009-1009 cargo type is an instance of binary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage cargoType "%2 is %n a cargo type of %1") domainEnglishFormat.kif 104-104
(termFormat EnglishLanguage cargoType "cargo type") domainEnglishFormat.kif 2630-2630 "cargo type" is the printable form of cargo type in english language

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


(=>
    (instance ?SHIP ChemicalTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2335-2337
(=>
    (instance ?SHIP CombinationBulk-OilCarrierShip)
    (cargoType ?SHIP Object))
Transportation.kif 2361-2363
(=>
    (instance ?SHIP CombinationBulk-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2365-2367
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Mineral))
Transportation.kif 2371-2373
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2375-2377
(=>
    (instance ?SHIP ContainerShip)
    (cargoType ?SHIP ShipContainer))
Transportation.kif 2294-2296
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))
Transportation.kif 2279-2281
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2350-2352
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2346-2348
(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2289-2291
(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))
Transportation.kif 2272-2274
(=>
    (instance ?SHIP PetroleumTankerShip)
    (cargoType ?SHIP PetroleumProduct))
Transportation.kif 2328-2330
(=>
    (instance ?SHIP RailcarCarrierShip)
    (cargoType ?SHIP RollingStock))
Transportation.kif 2316-2318
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2389-2391
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))
Transportation.kif 2308-2310
(=>
    (instance ?T Truck)
    (exists (?L)
        (and
            (subclass ?L Object)
            (cargoType ?T ?L))))
Transportation.kif 1983-1988


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners