No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10672-10683 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9839-9861 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9900-9922 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10577-10593 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3954-3964 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10025-10046 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10647-10657 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10634-10645 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10607-10617 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11110-11116 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11052-11057 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11036-11041 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8600-8610 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8624-8635 |
|