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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GermanMark

 Sigma KEE - GermanMark
GermanMark(german mark)
Deutsche_Mark, Deutschmark, German_mark, mark

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3706-3706
No TPTP formula. May not be expressible in strict first order. Economy.kif 2895-2895 German mark is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2920-2920 German mark is a currency value of german mark coin
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25902-25902
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25901-25901
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25900-25900

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2363-2363 "DEM" in ISO-4217-A denotes german mark


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