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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ladenDraft
ladenDraft

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


s__documentation(s__ladenDraft__m,s__EnglishLanguage,'"(ladenDraft ?SHIP ?AMOUNT) means that the WaterVehicle ?SHIP requires a waterDepth of at least ?AMOUNT to sail without running aground, when she is loaded at capacity."')

Transportation.kif 2685-2687
s__domain(s__ladenDraft__m,n__1,s__WaterVehicle)

Transportation.kif 2683-2683 The number 1 argument of laden draft is an instance of water vehicle
s__domain(s__ladenDraft__m,n__2,s__LengthMeasure)

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

s__instance(s__ladenDraft__m,s__BinaryPredicate)

Transportation.kif 2682-2682 laden draft is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__ladenDraft__m,'"%2 %n 是 %1 的 laden 草案"')

domainEnglishFormat.kif 1427-1427
s__format(s__ChineseTraditionalLanguage,s__ladenDraft__m,'"%2 %n 是 %1 的 laden 草案"')

domainEnglishFormat.kif 1426-1426
s__format(s__EnglishLanguage,s__ladenDraft__m,'"%2 is %n a laden draft of %1"')

domainEnglishFormat.kif 1425-1425
s__termFormat(s__ChineseLanguage,s__ladenDraft__m,'"载货草案"')

domainEnglishFormat.kif 33072-33072
s__termFormat(s__ChineseTraditionalLanguage,s__ladenDraft__m,'"載貨草案"')

domainEnglishFormat.kif 33071-33071
s__termFormat(s__EnglishLanguage,s__ladenDraft__m,'"laden draft"')

domainEnglishFormat.kif 33070-33070

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


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