experiencer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5847-5859 |
|
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 9774-9795 |
|
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 16447-16459 |
|
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 5725-5736 |
|
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 24131-24137 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24116-24129 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16484-16494 |
|
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 23880-23887 |
|
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 |