No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13798-13807 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13516-13527 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13809-13818 |