No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8243-8257 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21036-21043 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2032-2042 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7351-7365 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2193-2203 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4025-4038 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2617-2622 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 130-137 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 88-93 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12014-12026 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7528-7533 |
|