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 |