No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2227-2227 |
The number 3 argument of split for is an instance of integer |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1706-1706 |
The number 2 argument of visual acuity is an instance of integer |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1707-1707 |
The number 3 argument of visual acuity is an instance of integer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 958-958 |
The number 2 argument of year of founding is an instance of integer |