No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8243-8257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5568-5572 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18150-18184 |
|
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 13474-13484 |
|
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 15451-15459 |
|
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 23536-23541 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23556-23563 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15992-15998 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15984-15990 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11157-11172 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11125-11135 |
|
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 26299-26315 |
|
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 |