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 1003-1014 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2316-2323 |
|
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 9144-9149 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4702-4713 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9132-9138 |
|