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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesTenCentCoin

Sigma KEE - UnitedStatesTenCentCoin
UnitedStatesTenCentCoin

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4056-4056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4424-4424
No TPTP formula. May not be expressible in strict first order. Economy.kif 2934-2934 UnitedStatesTenCentCoin est une sous-classe de CurrencyCoin

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60430-60430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60429-60429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60428-60428


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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