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 30815-30826 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2811-2830 |
|
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 11424-11431 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11247-11262 |
|
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 5169-5177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5273-5281 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5247-5255 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5086-5094 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4114-4120 |
|
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 3593-3599 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6458-6472 |
|
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 4461-4470 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10963-10968 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4450-4452 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10010-10023 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29492-29500 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2843-2872 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15478-15484 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |