No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16447-16459 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18621-18639 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12313-12321 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2265-2274 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1464-1473 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1450-1459 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21432-21443 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2735-2747 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2060-2070 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8600-8610 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1383-1392 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5527-5535 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5749-5759 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1293-1303 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13494-13504 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13514-13519 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1967-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1928-1936 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16542-16554 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2973-2981 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1089-1103 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |