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 |