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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfCurrency
UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2422-2423
No TPTP formula. May not be expressible in strict first order. Merge.kif 6310-6311
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1110-1112
No TPTP formula. May not be expressible in strict first order. Merge.kif 6308-6308 UnitOfCurrencyNonCompositeUnitOfMeasuresubclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2883-2883 阿富汗阿富汗尼UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2943-2943 阿尔巴尼亚列克UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2947-2947 阿尔及利亚第纳尔UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2951-2951 安哥拉宽扎UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2955-2955 阿根廷南部UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2959-2959 亚美尼亚德拉姆UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2963-2963 澳元UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2967-2967 奥地利先令UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2971-2971 阿塞拜疆马纳特UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2975-2975 巴哈马元UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2979-2979 Bahraini第纳尔UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2983-2983 孟加拉国塔卡UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2987-2987 巴巴多斯元UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2991-2991 白俄罗斯语rubelUnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2995-2995 比利时法郎UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2999-2999 伯利兹美元UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3003-3003 贝宁法郎UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3007-3007 百慕大元UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3011-3011 不丹ngultrumUnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3015-3015 玻利维亚玻利维亚诺UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3019-3019 博茨瓦纳普拉UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3023-3023 巴西真实UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2886-2886 英镑UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3027-3027 文莱美元UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3031-3031 保加利亚列弗UnitOfCurrencyinstance

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 3615-3615 货币代码 的 2 数量 是 UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3653-3653 汇率 的 1 数量 是 UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3639-3639 期间货币汇率 的 1 数量 是 UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2873-2873 货币类型 的 2 数量 是 UnitOfCurrencyinstance

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3051-3062 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议看涨期权instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体那个 协议out 资兂短缺
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3002-3013 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议看涨期权instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 另外 实数lessThan 那个 金融工具Price 若且唯若 那个 施事体那个 协议in 金钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3015-3026 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议放选项instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体那个 协议in 金钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议放选项instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 另外 实数lessThan 那个 金融工具Price 若且唯若 那个 施事体那个 协议out 资兂短缺
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Merge.kif 6388-6392
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 354-365
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 759-775
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3234-3250
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1192-1207
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3815-3827
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 415-423
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3212-3228
No TPTP formula. May not be expressible in strict first order. Catalog.kif 430-445

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23828-23845
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7848-7862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 871-897
No TPTP formula. May not be expressible in strict first order. Hotel.kif 569-589
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Hotel.kif 419-438
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3119-3143


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