experiencer |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1129-1139 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1141-1147 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10222-10237 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 85-94 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18239-18243 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9986-9994 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1636-1643 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9964-9976 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1710-1721 | |
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. | emotion.kif 1738-1751 | |
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. | MilitaryPersons.kif 133-140 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2534-2538 | |
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 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4451-4461 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16380-16389 | |
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. | Mid-level-ontology.kif 18249-18255 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16465-16477 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1916-1929 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6423-6427 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6429-6439 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |