orientation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11359-11364 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4247-4257 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4206-4216 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3999-4010 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4231-4241 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 863-872 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 852-861 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16921-16929 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18136-18141 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16931-16935 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15166-15187 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 954-967 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2728-2748 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2750-2771 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29801-29810 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29823-29832 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29790-29799 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29812-29821 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9115-9117 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9111-9113 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17079-17082 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19237-19248 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17154-17156 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17132-17135 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17137-17139 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |