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. |
emotion.kif 1141-1147 |
|
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. |
Merge.kif 10222-10237 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 85-94 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18239-18243 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9986-9994 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1636-1643 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9964-9976 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1710-1721 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1583-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1738-1751 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2609-2623 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 133-140 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2534-2538 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2591-2605 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4451-4461 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16380-16389 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1960-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18249-18255 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16465-16477 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1916-1929 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6423-6427 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6429-6439 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |