experiencer |
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. | Mid-level-ontology.kif 18621-18639 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12313-12321 | |
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. | emotion.kif 1464-1473 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1450-1459 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21432-21443 | |
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 2060-2070 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8600-8610 | |
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. | Medicine.kif 5527-5535 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5749-5759 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1293-1303 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13494-13504 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13514-13519 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1967-1975 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1928-1936 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11456-11468 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16542-16554 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2973-2981 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1089-1103 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |