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 47846-47846 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47845-47845 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47844-47844 |
|