result |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1184-1194 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26287-26303 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1802-1807 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12210-12219 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14788-14797 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3062-3075 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 70-75 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 114-119 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 160-165 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 37-44 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 211-216 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 55-61 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20866-20873 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1088-1094 | |
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. | Mid-level-ontology.kif 20040-20049 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4809-4818 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5747-5767 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2336-2346 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10451-10461 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 717-726 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15488-15494 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 148-154 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20807-20813 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |