part |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4411-4425 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2200-2216 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1357-1364 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1371-1378 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1445-1457 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1426-1438 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1407-1419 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1464-1474 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1391-1400 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 586-591 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 80-94 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12848-12854 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6515-6523 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21395-21403 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13933-13941 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1741-1761 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11219-11229 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1823-1830 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11754-11769 |
|
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. | Mid-level-ontology.kif 4391-4399 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 754-765 |
|
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. | Geography.kif 7142-7162 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |