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