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

Formal Language: 


KB Term:  Term intersection
English Word: 

  currencyCode

Sigma KEE - currencyCode
currencyCode

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3955-3958
No TPTP formula. May not be expressible in strict first order. Economy.kif 3951-3951 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 3952-3952 The number 2 argument of currency code is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3950-3950 currency code is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 3953-3953 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 18069-18069
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18068-18068
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18067-18067

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2322-2324

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2318-2320


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