origin |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17351-17367 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11766-11777 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1589-1597 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 610-627 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16560-16574 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25935-25948 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6412-6423 | |
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. | FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6594-6606 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11955-11959 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13632-13646 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6566-6576 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6552-6560 | |
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. | FinancialOntology.kif 3885-3895 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 523-536 | |
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. | UXExperimentalTerms.kif 1841-1858 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11156-11171 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 949-964 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27113-27123 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27130-27142 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |