Process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18645-18657 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6031-6040 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2596-2605 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2154-2166 |
|
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. | Cars.kif 2519-2532 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4208-4223 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1194-1202 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1587-1596 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3482-3509 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 89-96 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14388-14393 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2754-2763 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 882-901 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 914-925 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25994-26002 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26053-26074 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3355-3373 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3675-3704 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26719-26732 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14433-14439 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20693-20701 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 96-104 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4425-4430 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |