No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2162-2175 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3179-3194 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6055-6074 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1129-1139 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6121-6139 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1271-1292 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11367-11384 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11914-11931 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2188-2196 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2172-2180 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6532-6543 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9277-9287 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1664-1676 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6594-6606 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6566-6576 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3826-3840 |
|
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. |
Merge.kif 11374-11379 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11381-11386 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3217-3229 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30944-30959 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30911-30926 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30961-30975 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30928-30942 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |