No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8834-8834 |
The number 1 argument of afternoon of is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8934-8934 |
The number 1 argument of Evening fn is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8818-8818 |
The number 1 argument of morning fn is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3808-3808 |
The number 2 argument of available balance is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3831-3831 |
The number 2 argument of available cash is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 175-175 |
The number 2 argument of baptizedmdate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24268-24268 |
The number 2 argument of birthdate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4092-4092 |
The number 2 argument of buying power amount is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2485-2485 |
The number 2 argument of call date is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3472-3472 |
The number 3 argument of closing price is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 673-673 |
The number 2 argument of current account balance is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 615-615 |
The number 2 argument of current interest rate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8545-8545 |
The number 2 argument of date is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4027-4027 |
The number 2 argument of date of statement is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24281-24281 |
The number 2 argument of deathdate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4101-4101 |
The number 2 argument of margin balance amount is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4119-4119 |
The number 2 argument of market value amount is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 632-632 |
The number 2 argument of maturity date is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 868-868 |
The number 3 argument of net worth is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 780-780 |
The number 3 argument of overdraft is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 600-600 |
The number 1 argument of prime interest rate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4110-4110 |
The number 2 argument of short balance amount is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24213-24213 |
The number 3 argument of weddingdate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8614-8614 |
The number 2 argument of hour is a subclass of day |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24182-24182 |
The number 2 argument of anniversary is a subclass of day |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |