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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TajikSomoniCoin
TajikSomoniCoin(tajik somoni coin)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2926-2926 Tajik somoni is a currency value of tajik somoni coin
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 Tajik somoni coin is a subclass of coin

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 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