Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - vesselDisplacement
vesselDisplacement

appearance as argument number 1
-------------------------


(documentation vesselDisplacement EnglishLanguage "(vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the PhysicalQuantity ?AMOUNT. The displacement of a vessel may be measured in LongTons (Dead Weight Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT).") Transportation.kif 2527-2531
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2524-2524 The number 1 argument of vessel displacement is an instance of water vehicle
(domain vesselDisplacement 2 PhysicalQuantity) Transportation.kif 2525-2525 The number 2 argument of vessel displacement is an instance of physical quantity
(instance vesselDisplacement BinaryPredicate) Transportation.kif 2523-2523 vessel displacement is an instance of binary predicate
(subrelation vesselDisplacement measure) Transportation.kif 2526-2526 vessel displacement is a subrelation of measure

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


(format ChineseLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移") domainEnglishFormat.kif 2591-2591
(format ChineseTraditionalLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移") domainEnglishFormat.kif 2590-2590
(format EnglishLanguage vesselDisplacement "%2 is %n a vessel displacement of %1") domainEnglishFormat.kif 2589-2589
(subrelation vesselDeadWeightTonnage vesselDisplacement) Transportation.kif 2536-2536 vessel dead weight tonnage is a subrelation of vessel displacement
(subrelation vesselGrossRegisteredTonnage vesselDisplacement) Transportation.kif 2547-2547 vessel gross registered tonnage is a subrelation of vessel displacement
(termFormat ChineseLanguage vesselDisplacement "船只位移") domainEnglishFormat.kif 61580-61580
(termFormat ChineseTraditionalLanguage vesselDisplacement "船隻位移") domainEnglishFormat.kif 61579-61579
(termFormat EnglishLanguage vesselDisplacement "vessel displacement") domainEnglishFormat.kif 61578-61578

antecedent
-------------------------


(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2637-2643


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