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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BritishPoundCoin
BritishPoundCoin(british pound coin)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2920-2920 British pound is a currency value of british pound coin
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1509-1509
No TPTP formula. May not be expressible in strict first order. Economy.kif 2919-2919 British pound coin is a subclass of currency coin

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11990-11990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11989-11989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11988-11988


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