No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6440-6455 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6475-6486 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6243-6251 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 469-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16109-16113 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6009-6017 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 492-505 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 170-177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28574-28582 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32053-32061 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5994-6003 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 376-387 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 399-410 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 533-539 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 450-456 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 502-508 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 438-444 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 515-521 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 489-495 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 470-476 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4810-4820 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4430-4441 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3543-3570 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3572-3585 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6261-6272 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |