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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2573-2576
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 2570-2570 The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain navigableForShippingTonnage 2 PhysicalQuantity) Transportation.kif 2571-2571 The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
(instance navigableForShippingTonnage BinaryPredicate) Transportation.kif 2569-2569 navigable for shipping tonnage is an instance of binary predicate

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


(format EnglishLanguage navigableForShippingTonnage "%2 is %n a navigable for shipping tonnage of %1") domainEnglishFormat.kif 457-457
(termFormat EnglishLanguage navigableForShippingTonnage "navigable for shipping tonnage") domainEnglishFormat.kif 7082-7082 "navigable for shipping tonnage" is the printable form of navigable for shipping tonnage in english language

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 2578-2584


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners