experiencer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21459-21470 |
|
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 8627-8637 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8651-8662 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10430-10438 |
|
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 10179-10183 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6246-6259 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8270-8284 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 114-120 |
|
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 122-130 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17293-17301 |
|
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 |