forall |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2940-2948 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7939-7949 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6157-6163 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4319-4332 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16968-16973 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16984-16989 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1122-1131 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14481-14492 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7501-7511 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7492-7499 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15966-15980 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14802-14815 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1007-1020 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1027-1040 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13290-13296 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 67-80 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5803-5812 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4208-4223 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4281-4293 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3375-3385 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3418-3428 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3438-3448 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4596-4612 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16270-16279 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16618-16624 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |