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 10032-10037 |
|
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 18246-18254 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18225-18235 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2567-2583 |
|
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 23889-23903 |
|
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 18203-18209 |
|
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 21495-21506 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17193-17203 |
|
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 29620-29632 |
|
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 |