No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 265-265 |
DNAPolymerase est une sous-classe de enzyme |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 261-261 |
InitiatorProtein est une sous-classe de enzyme |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 310-310 |
RNAProcessingEnzyme est une sous-classe de enzyme |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1134-1134 |
VirionEnzyme est une sous-classe de enzyme |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 306-306 |
VitF2Protein est une sous-classe de enzyme |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1007-1007 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1226-1226 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 684-684 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 215-215 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2368-2368 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 636-636 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 252-252 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 705-705 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 219-219 |
|