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 2656-2658
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2654-2654
(domain ladenDraft 2 LengthMeasure) Transportation.kif 2655-2655
(instance ladenDraft BinaryPredicate) Transportation.kif 2653-2653

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 33079-33079
(termFormat ChineseTraditionalLanguage ladenDraft "載貨草案") domainEnglishFormat.kif 33078-33078
(termFormat EnglishLanguage ladenDraft "laden draft") domainEnglishFormat.kif 33077-33077

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


(=>
    (and
        (navigableForDraft ?WATERWAY ?AMOUNT)
        (ladenDraft ?SHIP ?DRAFT)
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))		 Transportation.kif 2631-2636
(=>
    (and
        (navigableForDraft ?WATERWAY ?AMOUNT)
        (ladenDraft ?SHIP ?DRAFT)
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))		 Transportation.kif 2638-2643


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