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 985-987
(domain cargoType 1 TransportationDevice) Transportation.kif 983-983
(domainSubclass cargoType 2 Object) Transportation.kif 984-984
(instance cargoType BinaryPredicate) Transportation.kif 982-982

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

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


(=>
    (instance ?SHIP ChemicalTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2308-2310
(=>
    (instance ?SHIP CombinationBulk-OilCarrierShip)
    (cargoType ?SHIP Object))
Transportation.kif 2334-2336
(=>
    (instance ?SHIP CombinationBulk-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2338-2340
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Mineral))
Transportation.kif 2344-2346
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2348-2350
(=>
    (instance ?SHIP ContainerShip)
    (cargoType ?SHIP ShipContainer))
Transportation.kif 2267-2269
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))
Transportation.kif 2252-2254
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2323-2325
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2319-2321
(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2262-2264
(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))
Transportation.kif 2245-2247
(=>
    (instance ?SHIP PetroleumTankerShip)
    (cargoType ?SHIP PetroleumProduct))
Transportation.kif 2301-2303
(=>
    (instance ?SHIP RailcarCarrierShip)
    (cargoType ?SHIP RollingStock))
Transportation.kif 2289-2291
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2362-2364
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))
Transportation.kif 2281-2283
(=>
    (instance ?T Truck)
    (exists (?L)
        (and
            (subclass ?L Object)
            (cargoType ?T ?L))))
Transportation.kif 1956-1961


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