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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TajikSomoniCoin

 Sigma KEE - TajikSomoniCoin
TajikSomoniCoin

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2926-2926 currencyValue TajikSomoniCoin and TajikSomoni
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4367-4367
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4365-4365
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4366-4366
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4039-4039
No TPTP formula. May not be expressible in strict first order. Economy.kif 2925-2925 TajikSomoniCoin e' uma sub-classe de CurrencyCoin

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56845-56845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56844-56844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56843-56843


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