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 |