No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8947-8947 |
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 9047-9047 |
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 8931-8931 |
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 3826-3826 |
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 3849-3849 |
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 180-180 |
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 25915-25915 |
The number 2 argument of birthdate 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 buying power amount is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2502-2502 |
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 3490-3490 |
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 675-675 |
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 617-617 |
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 8658-8658 |
The number 2 argument of date is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4045-4045 |
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 25943-25943 |
The number 2 argument of deathdate 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 margin balance amount is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4137-4137 |
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 634-634 |
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 870-870 |
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 782-782 |
The number 3 argument of overdraft is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 602-602 |
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 4128-4128 |
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 25860-25860 |
The number 3 argument of weddingdate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8727-8727 |
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 25828-25828 |
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 |