result |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 129-137 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10363-10369 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10316-10321 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10336-10343 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14276-14281 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4197-4208 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4210-4220 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14236-14241 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2082-2090 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14265-14270 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12736-12745 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3617-3632 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 768-788 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16386-16394 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 573-588 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 515-524 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20710-20716 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12563-12569 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12527-12533 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8124-8130 |