No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30296-30310 |
方式 Process and Harmless 例 Process and Damaging Process 例 Process and Damaging 子過程 Process and Process Process 例 Process and Damaging 原因 Process and Process |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3040-3054 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1923-1939 |
|
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 1545-1555 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2230-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1115-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1256-1264 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 349-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 980-992 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1087-1099 |
|
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. |
emotion.kif 119-127 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 129-137 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2516-2530 |
|
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. |
Cars.kif 2730-2744 |
|
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. |
Mid-level-ontology.kif 6429-6439 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |