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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesFiveCentCoin
  GPRSNetwork

Sigma KEE - UnitedStatesFiveCentCoin
UnitedStatesFiveCentCoin

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2932-2932 currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s)
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4839-4839
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4054-4054
No TPTP formula. May not be expressible in strict first order. Economy.kif 2931-2931 UnitedStatesFiveCentCoin e' uma sub-classe de CurrencyCoin

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60394-60394
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60393-60393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60392-60392


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