No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 643-661 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1589-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1192-1202 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1156-1166 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1257-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26961-26987 |
|
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. |
Merge.kif 13684-13690 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12598-12605 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5095-5097 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3018-3020 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14454-14469 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1387-1407 |
- If a physical is an instance of vcr system,
- then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the entity is an instance of VHS cassette and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is an instance of video recording and the fourth entity expresses the third entity and the third entity is a part of the entity and the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the fourth entity and the sixth entity is a part of the entity and the fifth entity is an instance of radiating light and the third entity is a patient of the fifth entity and the fifth entity is a subprocess of the other entity and the eighth entity is an instance of radiating sound and the sixth entity is a patient of the eighth entity and the eighth entity is a subprocess of the other entity
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1275-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26217-26231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26255-26263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25876-25891 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14432-14438 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1506-1519 |
|