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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AustralianDollar
AustralianDollar(australian dollar)
more pictures...
Australian_dollar

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3770-3770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3767-3767
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3766-3766
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3771-3771
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3764-3764
No TPTP formula. May not be expressible in strict first order. Economy.kif 2973-2973 Australian dollar is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2975-2975 Australian dollar is a currency type of australia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9099-9099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9098-9098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9097-9097

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2284-2284 "AUD" in ISO-4217-A denotes australian dollar


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