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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyType

 Sigma KEE - currencyType
currencyType

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2877-2879
No TPTP formula. May not be expressible in strict first order. Economy.kif 2872-2872 O argumento numero 1 de currencyType e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Economy.kif 2873-2873 O argumento numero 2 de currencyType e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2871-2871 currencyType e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Economy.kif 2875-2875 currencyType e' uma instancia de Relacao com Valor Unico

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 612-612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 611-611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 610-610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18096-18096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18095-18095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18094-18094

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3229-3233

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2889-2895
No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3227

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2884-2884 currencyType Afghanistan and AfghanAfghani
No TPTP formula. May not be expressible in strict first order. Economy.kif 2945-2945 currencyType Albania and AlbanianLek
No TPTP formula. May not be expressible in strict first order. Economy.kif 2949-2949 currencyType Algeria and AlgerianDinar
No TPTP formula. May not be expressible in strict first order. Economy.kif 2953-2953 currencyType Angola and AngolanKwanza
No TPTP formula. May not be expressible in strict first order. Economy.kif 2957-2957 currencyType Argentina and ArgentineAustral
No TPTP formula. May not be expressible in strict first order. Economy.kif 2961-2961 currencyType Armenia and ArmenianDram
No TPTP formula. May not be expressible in strict first order. Economy.kif 2965-2965 currencyType Australia and AustralianDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 2969-2969 currencyType Austria and EuroDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 2973-2973 currencyType Azerbaijan and AzerbaijaniManat
No TPTP formula. May not be expressible in strict first order. Economy.kif 2981-2981 currencyType Bahrain and BahrainianDinar
No TPTP formula. May not be expressible in strict first order. Economy.kif 2985-2985 currencyType Bangladesh and BangladeshiTaka
No TPTP formula. May not be expressible in strict first order. Economy.kif 2989-2989 currencyType Barbados and BarbadosDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 2993-2993 currencyType Belarus and BelarusianRubel
No TPTP formula. May not be expressible in strict first order. Economy.kif 2997-2997 currencyType Belgium and EuroDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 3001-3001 currencyType Belize and BelizeDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 3005-3005 currencyType Benin and BeninFranc
No TPTP formula. May not be expressible in strict first order. Economy.kif 3009-3009 currencyType Bermuda and BermudaDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 3013-3013 currencyType Bhutan and BhutaneseNgultrum
No TPTP formula. May not be expressible in strict first order. Economy.kif 3017-3017 currencyType Bolivia and BolivianBoliviano
No TPTP formula. May not be expressible in strict first order. Economy.kif 3021-3021 currencyType Botswana and BotswanaPula
No TPTP formula. May not be expressible in strict first order. Economy.kif 3025-3025 currencyType Brazil and BrazilianReal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3029-3029 currencyType Brunei and BruneiDollar
No TPTP formula. May not be expressible in strict first order. Economy.kif 3033-3033 currencyType Bulgaria and BulgarianLev
No TPTP formula. May not be expressible in strict first order. Economy.kif 3037-3037 currencyType BurkinaFaso and BurkinaFasoFranc
No TPTP formula. May not be expressible in strict first order. Economy.kif 3041-3041 currencyType Burundi and BurundiFranc

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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