No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2162-2175 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3179-3194 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1129-1139 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11368-11385 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11915-11932 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2182-2190 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2166-2174 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6532-6543 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9278-9288 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1664-1676 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6595-6607 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6567-6577 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3826-3840 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11352-11357 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11359-11364 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3217-3229 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30940-30954 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |