No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2546-2554 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5421-5443 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2390-2395 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1194-1202 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3143-3153 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 424-432 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 882-901 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26376-26384 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31254-31263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31296-31305 |
|