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 3755-3755
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3650-3650
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3756-3756
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 3761-3761
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3757-3757
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3760-3760
No TPTP formula. May not be expressible in strict first order. Economy.kif 2966-2966 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 2968-2968 Argentine austral is a currency type of argentina
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8318-8318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8317-8317
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8316-8316


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