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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 波多黎各 是 群岛 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3910-3910 波多黎各 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1160-1160 波多黎各 是 美国 的 part

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4104-4104 波多黎各 的名 是 "Puerto Rico"
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 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 is open source software produced by Articulate Software and its partners