No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14728-14728 |
Nutriment est disjointement decompos� en prot�ine, hydrate de carbone, + vitamine |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 438-438 |
AbrinToxin est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9652-9652 |
Antibody est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14738-14738 |
Enzyme est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4919-4919 |
Ferritin est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 293-293 |
GeneRegulatoryProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 251-251 |
Hemoglobin est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 300-300 |
Histone est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3731-3731 |
Interleukin est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1078-1078 |
Lipoprotein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 277-277 |
MotorProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 289-289 |
ReceptorProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
RicinToxin est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 285-285 |
SignalingProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 297-297 |
SpecialPurposeProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 281-281 |
StorageProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 269-269 |
StructuralProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 273-273 |
TransportProtein est une sous-classe de prot�ine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3940-3940 |
Troponin est une sous-classe de prot�ine |
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 |