forall |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12190-12198 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4819-4833 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7467-7474 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8430-8439 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3610-3618 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5306-5314 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3333-3356 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13338-13349 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 295-303 | |
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. | Hotel.kif 2925-2940 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 467-492 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 281-292 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1211-1231 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3689-3701 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3048-3055 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18013-18021 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 436-465 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1243-1254 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1224-1236 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5369-5374 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3810-3818 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1325-1332 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |