equal |
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 |