No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8856-8856 |
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 8956-8956 |
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 8840-8840 |
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 24267-24267 |
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 8567-8567 |
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 24280-24280 |
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 24212-24212 |
The number 3 argument of weddingdate is an instance of day |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8636-8636 |
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 24181-24181 |
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 |