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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeepDraftHarbor
DeepDraftHarbor(deep draft harbor)deep_draft_harbor, 深海港口

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


(documentation DeepDraftHarbor EnglishLanguage "DeepDraftHarbor is the subclass of Harbors that have a waterDepth sufficient to accommodate vessels of a ladenDraft of 45 feet (13.7 meters) or greater.") Transportation.kif 885-887
(subclass DeepDraftHarbor Harbor) Transportation.kif 884-884 Deep draft harbor is a subclass of harbor

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


(termFormat ChineseLanguage DeepDraftHarbor "深海港口") domainEnglishFormat.kif 18775-18775 "深海港口" is the printable form of deep draft harbor in ChineseLanguage
(termFormat ChineseTraditionalLanguage DeepDraftHarbor "深海港口") domainEnglishFormat.kif 18774-18774 "深海港口" is the printable form of deep draft harbor in ChineseTraditionalLanguage
(termFormat EnglishLanguage DeepDraftHarbor "deep draft harbor") domainEnglishFormat.kif 18773-18773 "deep draft harbor" is the printable form of deep draft harbor in english language

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


(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 13.7 Meter)))
Transportation.kif 889-891
(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 45 FootLength)))
Transportation.kif 893-895

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


(=>
    (instance ?PORT DeepDraftPort)
    (exists (?HARBOR)
        (and
            (instance ?HARBOR DeepDraftHarbor)
            (geographicSubregion ?HARBOR ?PORT))))
Transportation.kif 877-882


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners