No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 314-314 |
ProteinStructuralAttribute est compl�tement d�compos� en ProteinStructuralAttributeComposite + ProteinStructuralAttributePrimitive |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47848-47848 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47847-47847 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47846-47846 |
|