No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12318-12318 |
AdrenalGland e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12259-12259 |
LymphNode e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12351-12351 |
MucusGland e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12302-12302 |
Pancreas e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12256-12256 |
PituitaryGland e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12332-12332 |
SalivaryGland e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12284-12284 |
SweatGland e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12386-12386 |
TearGland e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12249-12249 |
ThyroidGland e' uma sub-classe de Glandula |
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 |
|