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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PortCity

Sigma KEE - PortCity
PortCity(港口城市)

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 港口城市城市subclass

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1768-1768 海法以色列港口城市instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1776-1776 汉诺威德国港口城市instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 884-884 集装箱港口港口城市subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 887-887 深水港港口城市subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 852-852 河港港口城市subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 868-868 海港港口城市subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46726-46726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46725-46725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46724-46724

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 946-946 港口设施 的 1 数量 是 港口城市instance

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