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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ladenDraft

Sigma KEE - ladenDraft
ladenDraft

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


(documentation ladenDraft 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
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2683-2683
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2684-2684
(instance ladenDraft BinaryPredicate) Transportation.kif 2682-2682

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


(format ChineseLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") domainEnglishFormat.kif 1427-1427
(format ChineseTraditionalLanguage ladenDraft "%2 %n 是 %1 的 laden 草案") domainEnglishFormat.kif 1426-1426
(format EnglishLanguage ladenDraft "%2 is %n a laden draft of %1") domainEnglishFormat.kif 1425-1425
(termFormat ChineseLanguage ladenDraft "载货草案") domainEnglishFormat.kif 33072-33072
(termFormat ChineseTraditionalLanguage ladenDraft "載貨草案") domainEnglishFormat.kif 33071-33071
(termFormat EnglishLanguage ladenDraft "laden draft") domainEnglishFormat.kif 33070-33070

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


(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))
Transportation.kif 2660-2665
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))
Transportation.kif 2667-2672


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