homologousChromosome |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 676-681 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 683-683 | 域 homologousChromosome, 1 and Chromosome |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 684-684 | 域 homologousChromosome, 2 and Chromosome |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 675-675 | 例 homologousChromosome and BinaryPredicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 685-685 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 682-682 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 718-730 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 848-856 |
![]() |
![]() |