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 | Currency measure is a subclass of constant quantity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3227-3227 | The range of average buying price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3272-3272 | The range of average buying price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3195-3195 | The range of gross merchandise bought in auctions is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2949-2949 | The range of gross merchandise bought is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2992-2992 | The range of gross merchandise volume is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7793-7793 | The range of wealth is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 513-513 | Interest is a subclass of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2107-2107 | Share unit is a subclass of currency measure |
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 | The number 2 argument of after tax income is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 912-912 | The number 2 argument of amount charged is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 650-650 | The number 2 argument of amount due is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1448-1448 | The number 2 argument of bid amount is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1509-1509 | The number 2 argument of annual expenditures of area is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1498-1498 | The number 2 argument of annual expenditures of area in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2269-2269 | The number 2 argument of annual export total is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2575-2575 | The number 2 argument of annual import total is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1481-1481 | The number 2 argument of annual revenues of area is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1470-1470 | The number 2 argument of annual revenues of area in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1486-1486 | The number 2 argument of appraised value is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1927-1927 | The number 2 argument of ask price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3809-3809 | The number 3 argument of available balance is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3832-3832 | The number 3 argument of available cash is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3346-3346 | The number 2 argument of before tax income is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1907-1907 | The number 2 argument of bid price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4093-4093 | The number 3 argument of buying power amount is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1549-1549 | The number 2 argument of capital expenditures of area is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1528-1528 | The number 2 argument of capital expenditures of area in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3471-3471 | The number 2 argument of closing price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3368-3368 | The number 2 argument of compensation package is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 119-119 | The number 1 argument of corkage fee is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 792-792 | The number 2 argument of credit limit is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3872-3872 | The number 2 argument of credits per period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3629-3629 | The number 1 argument of currency exchange perUS dollar is an instance of currency measure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |