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 塔吉克索莫尼 是 塔吉克索莫尼硬币 的 currency 價值
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 塔吉克索莫尼硬币 是 货币硬币 的 subclass

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