Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - navigableForDraft
navigableForDraft

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


(instance navigableForDraft BinaryPredicate) Transportation.kif 3719-3719 navigable for draft is an instance of binary predicate
(domain navigableForDraft 1 WaterArea) Transportation.kif 3720-3720 The number 1 argument of navigable for draft is an instance of water area
(domain navigableForDraft 2 LengthMeasure) Transportation.kif 3721-3721 The number 2 argument of navigable for draft is an instance of length measure
(documentation navigableForDraft EnglishLanguage "(navigableForDraft ?WATERWAY ?DRAFT) means that the Waterway ?WATERWAY can be transited by vessels up to the draft ?DRAFT.") Transportation.kif 3723-3725 The number 2 argument of navigable for draft is an instance of length measure

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


(format EnglishLanguage navigableForDraft "%2 is %n a navigable for draft of %1") domainEnglishFormat.kif 1793-1793
(format ChineseTraditionalLanguage navigableForDraft "%2 %n 是草案 %1 的 navigable ") domainEnglishFormat.kif 1794-1794
(format ChineseLanguage navigableForDraft "%2 %n 是草案 %1 的 navigable ") domainEnglishFormat.kif 1795-1795
(termFormat EnglishLanguage navigableForDraft "navigable for draft") domainEnglishFormat.kif 39973-39973
(termFormat ChineseTraditionalLanguage navigableForDraft "可通航草案") domainEnglishFormat.kif 39974-39974
(termFormat ChineseLanguage navigableForDraft "可通航草案") domainEnglishFormat.kif 39975-39975

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


(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))		 Transportation.kif 3727-3732 If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is greater than Z, then Y is capable of doing the trip of W as a path
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))		 Transportation.kif 3734-3739 If X meter(s) is a navigable for draft of Y, Z meter(s) is a laden draft of W, and X is less than or equal to Z, then Y is not capable of doing the trip of W as a path

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


(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 13.7 Meter)))		 Transportation.kif 900-902 If X is an instance of deep draft harbor, then 13.7 meter(s) is a navigable for draft of X
(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 45 FootLength)))		 Transportation.kif 904-906 If X is an instance of deep draft harbor, then 45 foot length(s) is a navigable for draft of X
(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))		 Transportation.kif 3741-3747 If X is an instance of waterway, the depth from Y to X is Z W(s), W is an instance of unit of length, and V is less than Z, then V W(s) is a navigable for draft of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners