No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6388-6392 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6400-6404 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6846-6850 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6406-6410 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6358-6362 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6364-6368 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6382-6386 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6376-6380 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 823-840 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6022-6028 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5993-6006 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5979-5991 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5130-5142 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5104-5115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3277-3284 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3286-3290 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3252-3256 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3258-3268 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2876-2882 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4629-4634 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4693-4699 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 195-200 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 936-946 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18343-18358 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18401-18406 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |