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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PortFacility
PortFacility(port facility)coaling_station, entrepot, free_port, free_zone, harbor, harbour, haven, home_port, outport, point_of_entry, port, port_of_call, port_of_entry, seaport, transshipment_center, treaty_port

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 939-942
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 Port facility is a subclass of geopolitical area

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


(range PortFacilityFn PortFacility) Transportation.kif 947-947 The range of port facility is an instance of port facility
(subclass DeepwaterPort PortFacility) Transportation.kif 908-908 Deepwater port is a subclass of port facility
(termFormat ChineseLanguage PortFacility "港口设施") domainEnglishFormat.kif 46730-46730
(termFormat ChineseTraditionalLanguage PortFacility "港口設施") domainEnglishFormat.kif 46729-46729
(termFormat EnglishLanguage PortFacility "port facility") domainEnglishFormat.kif 46728-46728

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


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


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 3.0 is open source software produced by Articulate Software and its partners