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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfCurrency

Sigma KEE - UnitOfCurrency
UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6461-6462
No TPTP formula. May not be expressible in strict first order. Merge.kif 6458-6460
No TPTP formula. May not be expressible in strict first order. Merge.kif 6457-6457 UnitOfCurrency is a subclass of NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2886-2886 Afghan afghani is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2946-2946 Albanian lek is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2950-2950 Algerian dinar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2954-2954 Angolan kwanza is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2958-2958 Argentine austral is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2962-2962 Armenian dram is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2966-2966 Australian dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2970-2970 Austrian schilling is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2974-2974 Azerbaijani manat is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2978-2978 Bahamian dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2982-2982 Bahrainian dinar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2986-2986 Bangladeshi taka is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2990-2990 Barbados dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2994-2994 Belarusian rubel is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2998-2998 Belgian franc is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3002-3002 Belize dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3006-3006 Benin franc is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3010-3010 Bermuda dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3014-3014 Bhutanese ngultrum is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3018-3018 Bolivian boliviano is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3022-3022 Botswana pula is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3026-3026 Brazilian real is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2889-2889 British pound is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3030-3030 Brunei dollar is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3034-3034 Bulgarian lev is an instance of UnitOfCurrency

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3618-3618 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 3656-3656 The number 1 argument of currency exchange rate is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 3642-3642 The number 1 argument of currency exchange rate in period is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order. Economy.kif 2876-2876 The number 2 argument of currency type is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6545-6549


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners