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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - navigableForDraft
navigableForDraft

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


s__documentation(s__navigableForDraft__m,s__EnglishLanguage,'"(navigableForDraft ?WATERWAY ?DRAFT) means that the Waterway ?WATERWAY can be transited by vessels up to the draft ?DRAFT."')

 Transportation.kif 2656-2658
s__domain(s__navigableForDraft__m,n__1,s__WaterArea)

 Transportation.kif 2653-2653 The number 1 argument of navigable for draft is an instance of water area
s__domain(s__navigableForDraft__m,n__2,s__LengthMeasure)

 Transportation.kif 2654-2654 The number 2 argument of navigable for draft is an instance of length measure
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__navigableForDraft__m,s__BinaryPredicate)

 Transportation.kif 2652-2652 navigable for draft is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__navigableForDraft__m,'"%2 %n 是草案 %1 的 navigable "')

 domainEnglishFormat.kif 1791-1791
s__format(s__ChineseTraditionalLanguage,s__navigableForDraft__m,'"%2 %n 是草案 %1 的 navigable "')

 domainEnglishFormat.kif 1790-1790
s__format(s__EnglishLanguage,s__navigableForDraft__m,'"%2 is %n a navigable for draft of %1"')

 domainEnglishFormat.kif 1789-1789
s__termFormat(s__ChineseLanguage,s__navigableForDraft__m,'"可通航草案"')

 domainEnglishFormat.kif 39954-39954
s__termFormat(s__ChineseTraditionalLanguage,s__navigableForDraft__m,'"可通航草案"')

 domainEnglishFormat.kif 39953-39953
s__termFormat(s__EnglishLanguage,s__navigableForDraft__m,'"navigable for draft"')

 domainEnglishFormat.kif 39952-39952

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


( ! [V__AMOUNT,V__SHIP,V__DRAFT,V__WATERWAY] :
   (((s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__SHIP,s__WaterVehicle) &
         s__instance(V__DRAFT,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea))
       =>
       (((s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__AMOUNT,s__Meter))
           &
           s__ladenDraft(V__SHIP,s__MeasureFn(V__DRAFT,s__Meter))
         &
         s__greaterThan(V__AMOUNT,V__DRAFT))
     =>
     (s__capability(s__TripFn(V__SHIP)
    ,s__path__m,V__WATERWAY)))))
)
)

 Transportation.kif 2660-2665
( ! [V__AMOUNT,V__SHIP,V__DRAFT,V__WATERWAY] :
   (((s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__SHIP,s__WaterVehicle) &
         s__instance(V__DRAFT,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea))
       =>
       (((s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__AMOUNT,s__Meter))
           &
           s__ladenDraft(V__SHIP,s__MeasureFn(V__DRAFT,s__Meter))
         &
         s__lessThanOrEqualTo(V__AMOUNT,V__DRAFT))
     =>
     (~(s__capability(s__TripFn(V__SHIP)
      ,s__path__m,V__WATERWAY))))))
)
)

 Transportation.kif 2667-2672

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


( ! [V__DEPTH,V__OBJ,V__DRAFT,V__WATERWAY,V__UNIT] :
   (((s__instance(V__DEPTH,s__RealNumber) &
         s__instance(V__OBJ,s__Physical) &
         s__instance(V__DRAFT,s__RealNumber))
       =>
       (((s__instance(V__WATERWAY,s__Waterway) &
             s__depth(V__OBJ,V__WATERWAY,s__MeasureFn(V__DEPTH,V__UNIT))
         &
         s__instance(V__UNIT,s__UnitOfLength) &
         s__lessThan(V__DRAFT,V__DEPTH))
     =>
     (s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__DRAFT,V__UNIT))))))
)
)

 Transportation.kif 2674-2680
( ! [V__HARBOR] :
   ((s__instance(V__HARBOR,s__DeepDraftHarbor) =>
       (s__navigableForDraft(V__HARBOR,s__MeasureFn(n__13_7,s__Meter))))
   )
)

 Transportation.kif 900-902
( ! [V__HARBOR] :
   ((s__instance(V__HARBOR,s__DeepDraftHarbor) =>
       (s__navigableForDraft(V__HARBOR,s__MeasureFn(n__45,s__FootLength))))
   )
)

 Transportation.kif 904-906


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