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 17638-17656 |
|
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 17616-17634 |
|
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 13257-13262 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11405-11412 | |
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 11763-11773 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17266-17274 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16227-16239 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18701-18712 | |
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 18564-18577 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18586-18594 | |
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 13160-13164 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 693-706 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13148-13158 | |
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 |