No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9066-9071 |
|
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 7887-7891 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7893-7898 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7869-7873 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7875-7880 |
|
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 4927-4942 |
|
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 11247-11262 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5630-5639 |
|
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 2114-2133 |
|
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 6921-6927 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |