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 2396-2401 |
|
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 3151-3161 |
|
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 26364-26372 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31250-31259 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31292-31301 |
|