No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1160-1161 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1157-1157 |
O argumento numero 1 de ViralPartFn e' uma instancia de Virus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1158-1158 |
O argumento numero 2 de ViralPartFn e' uma sub-classe de VirusPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1156-1156 |
ViralPartFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1159-1159 |
O contra-dominio de ViralPartFn e' uma instancia de VirusPart |