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 |