No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 37-38 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 35-35 |
域 病毒的遺傳基質, 1 and Virus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 36-36 |
域 病毒的遺傳基質, 2 and Molecule |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 32-32 |
例 病毒的遺傳基質 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 33-33 |
例 病毒的遺傳基質 and SingleValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 34-34 |
子關係 病毒的遺傳基質 and 部分 |