No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2539-2547 |
|
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 2373-2378 |
|
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 3128-3138 |
|
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 26409-26417 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31286-31295 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31328-31337 |
|