No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8834-8834 |
Le nombre 1 argument de AfternoonFn est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8934-8934 |
Le nombre 1 argument de EveningFn est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8818-8818 |
Le nombre 1 argument de MorningFn est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3808-3808 |
Le nombre 2 argument de availableBalance est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3831-3831 |
Le nombre 2 argument de availableCash est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 175-175 |
Le nombre 2 argument de baptizeddate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24268-24268 |
Le nombre 2 argument de birthdate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4092-4092 |
Le nombre 2 argument de buyingPowerAmount est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2485-2485 |
Le nombre 2 argument de callDate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3472-3472 |
Le nombre 3 argument de closingPrice est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 673-673 |
Le nombre 2 argument de currentAccountBalance est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 615-615 |
Le nombre 2 argument de currentInterestRate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8545-8545 |
Le nombre 2 argument de date est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4027-4027 |
Le nombre 2 argument de dateOfStatement est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24281-24281 |
Le nombre 2 argument de deathdate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4101-4101 |
Le nombre 2 argument de marginBalanceAmount est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4119-4119 |
Le nombre 2 argument de marketValueAmount est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 632-632 |
Le nombre 2 argument de maturityDate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 868-868 |
Le nombre 3 argument de netWorth est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 780-780 |
Le nombre 3 argument de overdraft est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 600-600 |
Le nombre 1 argument de primeInterestRate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4110-4110 |
Le nombre 2 argument de shortBalanceAmount est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24213-24213 |
Le nombre 3 argument de weddingdate est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8614-8614 |
Le nombre 2 argument de HourFn est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24182-24182 |
Le nombre 2 argument de anniversary est une sous-classe de jour |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |