No TPTP formula. May not be expressible in strict first order. |
Biography.kif 527-546 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5204-5213 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 954-967 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19209-19211 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14659-14669 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14643-14652 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 909-933 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2353-2372 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14506-14508 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2460-2466 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1161-1165 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1167-1172 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11645-11647 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3562-3586 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 51-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 75-77 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 71-73 |
|