No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17026-17031 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 224-237 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1206-1212 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11104-11114 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15188-15209 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15151-15163 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15139-15149 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15123-15132 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4161-4163 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4178-4180 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9560-9562 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 799-810 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9080-9086 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15621-15636 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3244-3254 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1584-1597 |
|