No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1035-1039 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30839-30850 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2794-2813 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 939-952 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5490-5500 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11470-11477 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11274-11289 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1071-1081 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5163-5171 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5267-5275 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5241-5249 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5080-5088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4107-4113 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5897-5912 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 965-971 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3578-3584 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6452-6466 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1519-1529 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4456-4465 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2601-2610 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10990-10995 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4445-4447 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10037-10050 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29543-29551 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2826-2855 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |