No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2665-2676 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1011-1022 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2323-2330 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18598-18611 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18617-18630 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2544-2552 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1960-1969 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1943-1951 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10351-10356 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4755-4766 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10339-10345 |
|