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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LatvianLats

 Sigma KEE - LatvianLats
LatvianLats(latvian lats)
lats

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3728-3728
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3933-3933
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3932-3932
No TPTP formula. May not be expressible in strict first order. Economy.kif 3267-3267 Latvian lats is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33497-33497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33496-33496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33495-33495

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2415-2415 "LVL" in ISO-4217-A denotes latvian lats


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