No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8242-8256 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5567-5571 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18149-18183 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 179-188 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 597-605 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 198-206 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 219-228 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13496-13506 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1292-1307 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15450-15458 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 789-795 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23535-23540 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23555-23562 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16014-16020 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16006-16012 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11156-11171 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11124-11134 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1852-1864 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 641-654 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 44-49 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1203-1213 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26287-26303 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1708-1729 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |