WhenFn |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20734-20743 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30692-30698 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3534-3543 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3545-3555 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3582-3591 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3593-3603 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 161-172 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6470-6482 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6447-6459 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1500-1512 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7972-7982 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23710-23719 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23737-23745 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21495-21506 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17193-17203 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6257-6275 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 966-975 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 949-958 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29620-29632 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1042-1055 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6304-6313 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30242-30253 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |