not |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2075-2090 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1064-1068 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10054-10059 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3545-3555 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3593-3603 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1838-1860 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1862-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18268-18276 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18247-18257 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2573-2589 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23888-23902 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 195-201 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18225-18231 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3529-3534 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3461-3466 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 546-553 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21494-21505 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17192-17202 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6257-6275 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 966-975 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 949-958 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29608-29620 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1042-1055 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |