Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(instance HaifaIsrael PortCity) CountriesAndRegions.kif 1772-1772 Haifa israel is an instance of port city
(instance HannoverGermany PortCity) CountriesAndRegions.kif 1780-1780 Hannover germany is an instance 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
(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
(termFormat EnglishLanguage PortCity "port city") domainEnglishFormat.kif 46717-46717 Deep draft port is a subclass of port city
(termFormat ChineseTraditionalLanguage PortCity "港口城市") domainEnglishFormat.kif 46718-46718 Deep draft port is a subclass of port city
(termFormat ChineseLanguage PortCity "港口城市") domainEnglishFormat.kif 46719-46719 Deep draft port is a subclass of port city

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 If X is an instance of port city, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners