![]() |
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 6207-6210 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6205-6205 | 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 3437-3437 | 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 3480-3480 | 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 3402-3402 | 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 3156-3156 | 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 3199-3199 | 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 7697-7697 | 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. | chinese_format.kif 1308-1308 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1833-1833 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1653-1653 | 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 1520-1520 | 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 1509-1509 | 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 2280-2280 | 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 2585-2585 | 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 1492-1492 | 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 1481-1481 | 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. | Economy.kif 1560-1560 | 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 1539-1539 | 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. | 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. | Economy.kif 3639-3639 | The number 1 argument of currency exchange perUS dollar is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3664-3664 | The number 2 argument of currency exchange rate is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3650-3650 | The number 2 argument of currency exchange rate in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3613-3613 | The number 2 argument of currency value is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1482-1482 | The number 3 argument of customer value is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2816-2816 | The number 2 argument of economic aid donated is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2799-2799 | The number 2 argument of economic aid donated in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2858-2858 | The number 2 argument of economic aid received net is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2843-2843 | The number 2 argument of economic aid received net 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 export total in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2778-2778 | The number 2 argument of external debt is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2766-2766 | The number 2 argument of external debt in period is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2963-2963 | The number 3 argument of GMB is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2992-2992 | The number 3 argument of GMV is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2573-2573 | The number 2 argument of import total in period is an instance of currency measure |
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 1614-1623 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3447-3467 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3490-3510 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6292-6296 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 426-435 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 500-506 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2077-2097 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 454-460 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 397-402 |
|
![]() |
![]() |