No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1753-1773 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17638-17656 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17616-17634 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3595-3615 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2956-2983 |
|
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. |
Geography.kif 3631-3640 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3570-3579 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11934-11945 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2999-3026 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7351-7365 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 61-69 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1551-1558 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1569-1576 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1637-1641 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3603-3617 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7068-7077 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11264-11272 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26457-26475 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25305-25315 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2202-2207 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1758-1780 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |