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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PuertoRico

 Sigma KEE - PuertoRico
PuertoRico(波多黎各)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3833-3833 波多黎各 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1161-1161
No TPTP formula. May not be expressible in strict first order. pictureList.kif 679-679
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 455-455 波多黎各 是 加勒比地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1159-1159 例 波多黎各 and 群島
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3910-3910 例 波多黎各 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1160-1160 部分 波多黎各 and 美國

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4104-4104 名 "Puerto Rico" and 波多黎各
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48062-48062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48061-48061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48060-48060

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2874-2874 "PR" 在 ISO-3166-1-alpha-2 denotes 波多黎各


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