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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuropeanCity

 Sigma KEE - EuropeanCity
EuropeanCity(欧洲城市)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 48-48
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10006-10006
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10971-10971
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10972-10972
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10973-10973
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 47-47 欧洲城市 是 城市 的 subclass

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 716-716 柏林，德国 是 欧洲城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 720-720 伯尔尼瑞士 是 欧洲城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 843-843 哥本哈根丹麦 是 欧洲城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 69-69 伦敦 是 欧洲城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 54-54 巴黎 是 欧洲城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 778-778 意大利罗马 是 欧洲城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 801-801 华沙波兰 是 欧洲城市 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22546-22546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22545-22545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22544-22544

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 50-52


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