destination |
No TPTP formula. May not be expressible in strict first order. | Military.kif 759-769 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17637-17655 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 872-880 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17615-17633 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4384-4399 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13279-13284 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11427-11434 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 762-767 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1570-1581 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11785-11795 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17265-17273 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16226-16238 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18700-18711 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4187-4195 | |
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 18563-18576 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18585-18593 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3590-3601 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13159-13163 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11327-11350 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 689-702 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13147-13157 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 212-218 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |