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 2534-2538
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2531-2531 船只位移 的 1 数量 是 水车instance
(domain vesselDisplacement 2 PhysicalQuantity) Transportation.kif 2532-2532 船只位移 的 2 数量 是 物理量instance
(instance vesselDisplacement BinaryPredicate) Transportation.kif 2530-2530 船只位移二元谓语instance
(subrelation vesselDisplacement measure) Transportation.kif 2533-2533 船只位移计量subrelation

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 2543-2543 船舶重量吨位船只位移subrelation
(subrelation vesselGrossRegisteredTonnage vesselDisplacement) Transportation.kif 2554-2554 船舶总注册吨位船只位移subrelation
(termFormat ChineseLanguage vesselDisplacement "船只位移") domainEnglishFormat.kif 61547-61547
(termFormat ChineseTraditionalLanguage vesselDisplacement "船隻位移") domainEnglishFormat.kif 61546-61546
(termFormat EnglishLanguage vesselDisplacement "vessel displacement") domainEnglishFormat.kif 61545-61545

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 2644-2650


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