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

Formal Language: 



KB Term:  Term intersection
English Word: 

  navigableForShippingTonnage

Sigma KEE - navigableForShippingTonnage
navigableForShippingTonnage

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


(documentation navigableForShippingTonnage EnglishLanguage "(navigableForShippingTonnage ?WATERWAY ?TONNAGE) means that the Waterway ?WATERWAY can be transited by vessels up to the tonnage ?TONNAGE (in Dead Weight Tonnage).") Transportation.kif 2632-2635
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 2629-2629 可通航航运吨位 的 1 数量 是 水域instance
(domain navigableForShippingTonnage 2 PhysicalQuantity) Transportation.kif 2630-2630 可通航航运吨位 的 2 数量 是 物理量instance
(instance navigableForShippingTonnage BinaryPredicate) Transportation.kif 2628-2628 可通航航运吨位二元谓语instance

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


(format ChineseLanguage navigableForShippingTonnage "%2 %n 是 navigable 对于 %1 的运输吨位") domainEnglishFormat.kif 1795-1795
(format ChineseTraditionalLanguage navigableForShippingTonnage "%2 %n 是 navigable 對於 %1 的運輸噸位") domainEnglishFormat.kif 1794-1794
(format EnglishLanguage navigableForShippingTonnage "%2 is %n a navigable for shipping tonnage of %1") domainEnglishFormat.kif 1793-1793
(termFormat ChineseLanguage navigableForShippingTonnage "可通航航运吨位") domainEnglishFormat.kif 39975-39975
(termFormat ChineseTraditionalLanguage navigableForShippingTonnage "可通航航運噸位") domainEnglishFormat.kif 39974-39974
(termFormat EnglishLanguage navigableForShippingTonnage "navigable for shipping tonnage") domainEnglishFormat.kif 39973-39973

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