No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2307-2311 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2317-2321 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 549-556 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 540-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3450-3461 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7366-7376 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19468-19473 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4201-4216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14308-14313 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 915-922 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 577-584 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 586-593 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 65-78 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20919-20925 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15617-15619 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13181-13186 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2850-2852 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17704-17710 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17716-17722 |
|