No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12291-12291 |
Adrenal gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12232-12232 |
Lymph gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12324-12324 |
Mucus gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12275-12275 |
Pancreas is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12229-12229 |
Pituitary gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12305-12305 |
Salivary gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12257-12257 |
Sweat gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12359-12359 |
Lacrymal gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12222-12222 |
Thyroid gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1024-1024 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1260-1260 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 702-702 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 233-233 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 236-236 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2385-2385 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 654-654 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 271-271 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 723-723 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 237-237 |
|