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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PortFacility
PortFacility

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


(documentation PortFacility EnglishLanguage "PortFacility is the class of port complexes, including piers and docking space, moorings, cargo-handling and other support facilities for marine traffic. Ships are loaded and unloaded at a PortFacility.") Transportation.kif 928-931
(subclass PortFacility GeopoliticalArea) Transportation.kif 927-927 subclass PortFacility and GeopoliticalArea

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


(range PortFacilityFn PortFacility) Transportation.kif 936-936 range PortFacilityFn and PortFacility
(subclass DeepwaterPort PortFacility) Transportation.kif 897-897 subclass DeepwaterPort and PortFacility
(termFormat ChineseLanguage PortFacility "港口设施") domainEnglishFormat.kif 46669-46669 termFormat ChineseLanguage, PortFacility and "港口设施"
(termFormat ChineseTraditionalLanguage PortFacility "港口設施") domainEnglishFormat.kif 46668-46668 termFormat ChineseTraditionalLanguage, PortFacility and "港口設施"
(termFormat EnglishLanguage PortFacility "port facility") domainEnglishFormat.kif 46667-46667 termFormat EnglishLanguage, PortFacility and "port facility"

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


(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2918-2926


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