CurrencyMeasure
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2419-2421 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6303-6306 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1107-1109 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6301-6301 | 货币测量 是 恒量 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3227-3227 | ABPFn 的 range 是 货币测量 的实例 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3272-3272 | ASPFn 的 range 是 货币测量 的实例 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3195-3195 | AuctionGMBFn 的 range 是 货币测量 的实例 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2949-2949 | GMBFn 的 range 是 货币测量 的实例 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2992-2992 | GMVFn 的 range 是 货币测量 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7793-7793 | 财富函数 的 range 是 货币测量 的实例 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 513-513 | 利益 是 货币测量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2107-2107 | ShareUnit 是 货币测量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1308-1308 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1833-1833 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 986-986 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 521-521 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 525-525 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2670-2670 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 938-938 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 527-527 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 561-561 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1007-1007 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 526-526 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3326-3326 | 税后收入 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 912-912 | 收费金额 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 650-650 | 到期金额 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1448-1448 | amountOfBid 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1509-1509 | 区域年度支出 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1498-1498 | 期间面积的年度支出 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2269-2269 | 年出口总额 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2575-2575 | 年进口总额 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1481-1481 | 面积年收入 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1470-1470 | 期间面积的年收入 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1486-1486 | 评估价值 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1927-1927 | 问价格 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3809-3809 | 可用余额 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3832-3832 | 可用现金 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3346-3346 | 税前收入 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1907-1907 | 竞标价格 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4093-4093 | 购买电量 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1549-1549 | 地区的资本支出 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1528-1528 | 期间面积的资本支出 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3471-3471 | 收盘价 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3368-3368 | 补偿方案 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 119-119 | corkageFee 的 1 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 792-792 | 信用额度 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3872-3872 | 每期积分 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3629-3629 | 货币兑换perUS美元 的 1 数量 是 货币测量 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1416-1425 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3239-3259 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3282-3302 |
consequent |
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 343-352 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 505-511 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2104-2124 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 459-465 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 402-407 |