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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - currencyCode
currencyCode

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3628-3631
No TPTP formula. May not be expressible in strict first order. Economy.kif 3624-3624 The number 1 argument of currency code is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Economy.kif 3625-3625 The number 2 argument of currency code is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3623-3623 currency code is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 3626-3626 currency code is a subrelation of abbreviation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 592-592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 591-591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 590-590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18051-18051
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18050-18050
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18049-18049

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2306-2308

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2302-2304


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