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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ParaguayanGuarani

 Sigma KEE - ParaguayanGuarani
ParaguayanGuarani(巴拉圭瓜拉尼)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3998-3998
No TPTP formula. May not be expressible in strict first order. Economy.kif 3395-3395 巴拉圭瓜拉尼 是 UnitOfCurrency 的 instance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3397-3397 巴拉圭瓜拉尼 是 巴拉圭 的 currency 类别
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44382-44382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44381-44381
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44380-44380

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2445-2445 "PYG" 在 ISO-4217-A 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