Object(Objeto) |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2400-2402 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26527-26536 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11569-11578 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2019-2024 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1959-1972 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1655-1668 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18421-18442 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3280-3288 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 331-348 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17894-17903 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3035-3062 |
|