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 939-942
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 PortFacility地政学的地域subclass では

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


(range PortFacilityFn PortFacility) Transportation.kif 947-947 PortFacilityFnrangePortFacility のインスタンス では
(subclass DeepwaterPort PortFacility) Transportation.kif 908-908 DeepwaterPortPortFacilitysubclass では
(subclass ShipBerth PortFacility) Transportation.kif 3775-3775 ShipBerthPortFacilitysubclass では
(termFormat ChineseLanguage PortFacility "港口设施") domainEnglishFormat.kif 46732-46732 ShipBerthPortFacilitysubclass では
(termFormat ChineseTraditionalLanguage PortFacility "港口設施") domainEnglishFormat.kif 46731-46731 ShipBerthPortFacilitysubclass では
(termFormat EnglishLanguage PortFacility "port facility") domainEnglishFormat.kif 46730-46730 ShipBerthPortFacilitysubclass では

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


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


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