result |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 70-81 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2293-2299 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1293-1299 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2320-2327 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1269-1278 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20792-20799 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19657-19662 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3065-3074 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10517-10522 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4570-4585 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3325-3330 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24059-24070 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3115-3122 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 379-387 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1034-1042 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1674-1681 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 657-662 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 686-701 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3249-3256 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12535-12545 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12867-12872 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16791-16796 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1139-1151 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4267-4272 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6020-6025 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |