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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PortCity
PortCity(port city)
Aalborg, Aarhus, Abadan, Acapulco, Acapulco_de_Juarez, Accho, Acre, Akka, Akko, Al-Hudaydah, Al_Ladhiqiyah, Alborg, Alexandria, Alpena, Annaba, Antofagasta, Arhus, Aspinwall, Asuncion, Auckland, Ayr, Bahia_Blanca, Banjul, Barranquilla, Basia, Basra, Beira, Belem, Benghazi, Bergen, Bida, Bordeaux, Bremerhaven, Brest, Bridgeport, Bridgetown, Brindisi, Bristol, Cadiz, Calais, Cannes, Canton, Cartagena, Casablanca, Castries, Charleston, Chemulpo, Cherbourg, Ciudad_Bolivar, Colon...

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


(documentation PortCity EnglishLanguage "A City near a WaterArea.") Transportation.kif 838-838
(externalImage PortCity "http://upload.wikimedia.org/wikipedia/commons/4/ 43/ Port_of_Singapore_Keppel_Terminal.jpg") pictureList.kif 8662-8662
(externalImage PortCity "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Piraeus.JPG") pictureList.kif 9564-9564
(externalImage PortCity "http://upload.wikimedia.org/wikipedia/commons/6/ 61/ Quay_Cranes_Northport_Malaysia.JPG") pictureList.kif 9565-9565
(subclass PortCity City) Transportation.kif 837-837 Port city is a subclass of city

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


(instance HaifaIsrael PortCity) CountriesAndRegions.kif 1768-1768 Haifa israel is an instance of port city
(instance HannoverGermany PortCity) CountriesAndRegions.kif 1776-1776 Hannover germany is an instance of port city
(subclass ContainerPort PortCity) Transportation.kif 884-884 Container port is a subclass of port city
(subclass DeepDraftPort PortCity) Transportation.kif 887-887 Deep draft port is a subclass of port city
(subclass RiverPort PortCity) Transportation.kif 852-852 River port is a subclass of port city
(subclass SeaPort PortCity) Transportation.kif 868-868 Sea port is a subclass of port city
(termFormat ChineseLanguage PortCity "港口城市") domainEnglishFormat.kif 46707-46707
(termFormat ChineseTraditionalLanguage PortCity "港口城市") domainEnglishFormat.kif 46706-46706
(termFormat EnglishLanguage PortCity "port city") domainEnglishFormat.kif 46705-46705

appearance as argument number 3
-------------------------


(domain PortFacilityFn 1 PortCity) Transportation.kif 946-946 The number 1 argument of port facility is an instance of port city

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


(=>
    (instance ?PORT PortCity)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (or
                (orientation ?PORT ?SEA Adjacent)
                (orientation ?PORT ?SEA Near)))))
Transportation.kif 841-850


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