No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7351-7365 |
|
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. |
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. |
Merge.kif 13610-13624 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29402-29408 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 51-55 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 244-253 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2653-2658 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2660-2665 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2637-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 88-93 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1267-1273 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1120-1130 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 35-43 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19782-19785 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19774-19776 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1831-1833 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21036-21043 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13943-13945 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 956-980 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21106-21108 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |