No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9088-9093 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5086-5091 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2695-2704 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7909-7913 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7915-7920 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7891-7895 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7897-7902 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1409-1418 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 561-574 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 505-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 601-614 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4935-4950 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 669-682 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 492-503 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11246-11261 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5629-5638 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4643-4647 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2120-2139 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5132-5145 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 897-901 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5380-5395 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 871-878 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6920-6926 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |