| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | Virus est une sous-classe de microorganisme |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 231-231 | ViralAgent est une sous-classe de virus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2017-2017 | TickBorneEncephalitisVirus est une sous-classe de virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 100-100 | DNAVirus est une sous-classe de virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 126-126 | RNAVirus est une sous-classe de virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 137-137 | UnenvelopedVirus est une sous-classe de virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 141-141 | EnvelopedVirus est une sous-classe de virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 146-146 | VirusDoubleStranded est une sous-classe de virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 150-150 | VirusSingleStranded est une sous-classe de virus |
|
|