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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyValue

 Sigma KEE - currencyValue
currencyValue

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3604-3606
No TPTP formula. May not be expressible in strict first order. Economy.kif 3603-3603 O argumento numero 2 de currencyValue e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order. Economy.kif 3602-3602 O argumento numero 1 de currencyValue e' uma sub-classe de Currency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3601-3601 currencyValue e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 616-616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 615-615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 614-614
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18102-18102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18101-18101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18100-18100

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2908-2908 currencyValue AfghanAfghaniCoin and AfghanAfghani
No TPTP formula. May not be expressible in strict first order. Economy.kif 2910-2910 currencyValue BritishPoundCoin and BritishPound
No TPTP formula. May not be expressible in strict first order. Economy.kif 2912-2912 currencyValue CanadianDollarCoin and CanadianDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 2914-2914 currencyValue EuroCentCoin and EuroCent
No TPTP formula. May not be expressible in strict first order. Economy.kif 2918-2918 currencyValue FrenchFrancCoin and FrenchFranc
No TPTP formula. May not be expressible in strict first order. Economy.kif 2920-2920 currencyValue GermanMarkCoin and GermanMark
No TPTP formula. May not be expressible in strict first order. Economy.kif 2922-2922 currencyValue ItalianLiraCoin and ItalianLira
No TPTP formula. May not be expressible in strict first order. Economy.kif 2924-2924 currencyValue JapaneseYenCoin and JapaneseYen
No TPTP formula. May not be expressible in strict first order. Economy.kif 2926-2926 currencyValue TajikSomoniCoin and TajikSomoni
No TPTP formula. May not be expressible in strict first order. Economy.kif 2935-2935 currencyValue UnitedStatesCentCoin and 10.0 UnitedStatesCent(s)
No TPTP formula. May not be expressible in strict first order. Economy.kif 2929-2929 currencyValue UnitedStatesCentCoin and UnitedStatesCent
No TPTP formula. May not be expressible in strict first order. Economy.kif 2941-2941 currencyValue UnitedStatesDollarBill and UnitedStatesDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 2932-2932 currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s)
No TPTP formula. May not be expressible in strict first order. Economy.kif 2938-2938 currencyValue UnitedStatesQuarterCoin and 25.0 UnitedStatesCent(s)


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