No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21431-21442 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2735-2747 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2725-2733 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2060-2070 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2072-2080 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2695-2704 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1492-1500 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1505-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8599-8609 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8623-8634 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10416-10424 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1383-1392 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10165-10169 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6251-6264 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8242-8256 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 121-127 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 58-65 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 129-137 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17265-17273 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1690-1697 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1669-1675 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1626-1634 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1613-1621 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5527-5535 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4447-4455 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |