experiencer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5846-5858 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1563-1575 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1545-1554 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9773-9794 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 104-111 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16446-16458 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4135-4145 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4123-4133 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5724-5735 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2316-2321 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2329-2334 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2336-2351 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2375-2380 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2382-2397 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2282-2287 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2301-2309 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4105-4117 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24130-24136 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24115-24128 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16483-16493 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2265-2274 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23879-23886 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1464-1473 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2251-2256 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1450-1459 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |