|
|
   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 | Mesure de devise est une sous-classe de quantit� constante |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3227-3227 | Le domaine de ABPFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3272-3272 | Le domaine de ASPFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3195-3195 | Le domaine de AuctionGMBFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2949-2949 | Le domaine de GMBFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2992-2992 | Le domaine de GMVFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7793-7793 | Le domaine de WealthFn est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 513-513 | Interest est une sous-classe de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2107-2107 | ShareUnit est une sous-classe de mesure de devise |
| 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 | Le nombre 2 argument de afterTaxIncome est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 912-912 | Le nombre 2 argument de amountCharged est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 650-650 | Le nombre 2 argument de amountDue est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1448-1448 | Le nombre 2 argument de amountOfBid est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1509-1509 | Le nombre 2 argument de annualExpendituresOfArea est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1498-1498 | Le nombre 2 argument de annualExpendituresOfAreaInPeriod est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2269-2269 | Le nombre 2 argument de annualExportTotal est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2575-2575 | Le nombre 2 argument de annualImportTotal est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1481-1481 | Le nombre 2 argument de annualRevenuesOfArea est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1470-1470 | Le nombre 2 argument de annualRevenuesOfAreaInPeriod est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1486-1486 | Le nombre 2 argument de appraisedValue est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1927-1927 | Le nombre 2 argument de askPrice est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3809-3809 | Le nombre 3 argument de availableBalance est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3832-3832 | Le nombre 3 argument de availableCash est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3346-3346 | Le nombre 2 argument de beforeTaxIncome est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1907-1907 | Le nombre 2 argument de bidPrice est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4093-4093 | Le nombre 3 argument de buyingPowerAmount est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1549-1549 | Le nombre 2 argument de capitalExpendituresOfArea est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1528-1528 | Le nombre 2 argument de capitalExpendituresOfAreaInPeriod est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3471-3471 | Le nombre 2 argument de closingPrice est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3368-3368 | Le nombre 2 argument de compensationPackage est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 119-119 | Le nombre 1 argument de corkageFee est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 792-792 | Le nombre 2 argument de creditLimit est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3872-3872 | Le nombre 2 argument de creditsPerPeriod est une instance de mesure de devise |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3629-3629 | Le nombre 1 argument de currencyExchangePerUSDollar est une instance de mesure de devise |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| 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 |
|
|
|