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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PortCity

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
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 838-838
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8661-8661
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9556-9556
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9557-9557
No TPTP formula. May not be expressible in strict first order. Transportation.kif 837-837 Port city is a subclass of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1768-1768 Haifa israel is an instance of port city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1776-1776 Hannover germany is an instance of port city
No TPTP formula. May not be expressible in strict first order. Transportation.kif 884-884 Container port is a subclass of port city
No TPTP formula. May not be expressible in strict first order. Transportation.kif 887-887 Deep draft port is a subclass of port city
No TPTP formula. May not be expressible in strict first order. Transportation.kif 852-852 River port is a subclass of port city
No TPTP formula. May not be expressible in strict first order. Transportation.kif 868-868 Sea port is a subclass of port city
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46724-46724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46723-46723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46722-46722

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 946-946 The number 1 argument of port facility is an instance of port city

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 841-850


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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