No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10449-10454 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 403-410 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 425-432 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30707-30727 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1906-1921 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21382-21387 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1345-1353 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 828-844 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9389-9394 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3482-3509 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1472-1492 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6290-6298 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3558-3582 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3632-3656 |
- If a physical is an instance of airbag,
- then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by the fifth entity
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3355-3373 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3675-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6284-6290 |
|