No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1201-1201 |
BoneMarrow e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15171-15171 |
ConnectiveTissue e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15229-15229 |
EpithelialTissue e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15245-15245 |
MuscleTissue e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15261-15261 |
NervousTissue e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4598-4598 |
PlantWicker e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9444-9444 |
Tendon e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9160-9160 |
Wood e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1025-1025 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1262-1262 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 703-703 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 234-234 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 237-237 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2386-2386 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 655-655 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 272-272 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 724-724 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 238-238 |
|