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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GuatemalanQuetzal
GuatemalanQuetzal(guatemalan quetzal)
more pictures...		quetzal

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3898-3898
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3710-3710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3896-3896
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3895-3895
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3897-3897
No TPTP formula. May not be expressible in strict first order. Economy.kif 3171-3171 Guatemalan quetzal is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3173-3173 Guatemalan quetzal is a currency type of guatemala
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26916-26916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26915-26915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26914-26914

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2382-2382 "GTQ" in ISO-4217-A denotes guatemalan quetzal


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