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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ArgentineAustral
ArgentineAustral(argentine austral)
more pictures...
austral

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3753-3753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3648-3648
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3754-3754
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3752-3752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3759-3759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3755-3755
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3758-3758
No TPTP formula. May not be expressible in strict first order. Economy.kif 3292-3292 Argentine austral 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 3294-3294 Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8311-8311 Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8310-8310 Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8309-8309 Argentine austral is a currency type of argentina


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