No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17004-17009 |
|
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 11082-11092 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15166-15187 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15152-15164 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15140-15150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15124-15133 |
|
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 9538-9540 |
|
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 9081-9087 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15622-15637 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3236-3246 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1584-1597 |
|