experiencer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 74-83 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16514-16522 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1029-1033 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2000-2008 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3517-3529 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1583-1597 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2609-2623 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2591-2605 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3923-3934 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7231-7240 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1960-1975 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1943-1955 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2065-2073 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6429-6439 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 65-84 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1419-1431 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1983-1991 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7159-7172 | |
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. | Mid-level-ontology.kif 5830-5839 | |
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. | TransnationalIssues.kif 88-99 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |