No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14728-14728 |
Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 438-438 |
Abrin toxin is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9652-9652 |
Antibody is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14738-14738 |
Enzyme is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4919-4919 |
Ferritin is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 293-293 |
Gene regulatory protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 251-251 |
Hemoglobin is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 300-300 |
Histone is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3731-3731 |
Interleukin is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1078-1078 |
Lipoprotein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 277-277 |
Motor protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 289-289 |
Receptor protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
Ricin toxin is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 285-285 |
Signaling protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 297-297 |
Special purpose protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 281-281 |
Storage protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 269-269 |
Structural protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 273-273 |
Transport protein is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3940-3940 |
Troponin is a subclass of protein |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1006-1006 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1224-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 683-683 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 217-217 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |