No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 820-841 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 526-541 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17930-17936 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17908-17914 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16612-16622 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15764-15774 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20767-20782 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15784-15794 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10105-10112 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20692-20700 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20686-20690 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1894-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11252-11260 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11235-11250 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5723-5734 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5736-5755 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1137-1147 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1149-1155 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5802-5820 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10130-10145 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 83-92 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17625-17629 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9554-9562 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9532-9544 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1718-1729 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |