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 1038-1040
(domain cargoType 1 TransportationDevice) Transportation.kif 1036-1036
(domainSubclass cargoType 2 Object) Transportation.kif 1037-1037
(instance cargoType BinaryPredicate) Transportation.kif 1035-1035

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

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


(=>
    (instance ?SHIP ChemicalTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2381-2383
(=>
    (instance ?SHIP CombinationBulk-OilCarrierShip)
    (cargoType ?SHIP Object))
Transportation.kif 2407-2409
(=>
    (instance ?SHIP CombinationBulk-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2411-2413
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Mineral))
Transportation.kif 2417-2419
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2421-2423
(=>
    (instance ?SHIP ContainerShip)
    (cargoType ?SHIP ShipContainer))
Transportation.kif 2340-2342
(=>
    (instance ?SHIP GeneralCargoShip)
    (cargoType ?SHIP Product))
Transportation.kif 2325-2327
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2396-2398
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2392-2394
(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2335-2337
(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))
Transportation.kif 2318-2320
(=>
    (instance ?SHIP PetroleumTankerShip)
    (cargoType ?SHIP PetroleumProduct))
Transportation.kif 2374-2376
(=>
    (instance ?SHIP RailcarCarrierShip)
    (cargoType ?SHIP RollingStock))
Transportation.kif 2362-2364
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2435-2437
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))
Transportation.kif 2354-2356
(=>
    (instance ?T Truck)
    (exists (?L)
        (and
            (subclass ?L Object)
            (cargoType ?T ?L))))
Transportation.kif 2027-2032


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 3.0 is open source software produced by Articulate Software and its partners