No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1854-1858 |
|
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. |
Mid-level-ontology.kif 6429-6439 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 922-929 |
|
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. |
Mid-level-ontology.kif 19348-19354 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13027-13032 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17529-17531 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17537-17539 |
|