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