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 2677-2679
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2675-2675
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2676-2676
(instance ladenDraft BinaryPredicate) Transportation.kif 2674-2674

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 2652-2657
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))
Transportation.kif 2659-2664


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