homologousChromosomePair |
appearance as argument number 1 |
(documentation homologousChromosomePair EnglishLanguage "homologousChromosomePair is a BinaryPredicate indicating (homologousChromosomePair ?A ?B) members of MonoploidChromosomeSet ?A and members of MonoploidChromosomeSet ?B are homologousChromosome pairs.") | VirusProteinAndCellPart.kif 839-842 | |
(domain homologousChromosomePair 1 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 844-844 | homologousChromosomePair 的 1 数量 是 MonoploidChromosomeSet 的 instance |
(domain homologousChromosomePair 2 MonoploidChromosomeSet) | VirusProteinAndCellPart.kif 845-845 | homologousChromosomePair 的 2 数量 是 MonoploidChromosomeSet 的 instance |
(instance homologousChromosomePair BinaryPredicate) | VirusProteinAndCellPart.kif 838-838 | homologousChromosomePair 是 二元谓语 的 instance |
appearance as argument number 2 |
(format EnglishLanguage homologousChromosomePair "members of MonoploidChromosomeSet %1 and members of MonoploidChromosomeSet %2 are homologoousChromosome pairs.") | VirusProteinAndCellPart.kif 846-847 | |
(termFormat EnglishLanguage homologousChromosomePair "homologous chromosome pair") | VirusProteinAndCellPart.kif 843-843 |
antecedent |
(=> (homologousChromosomePair ?A ?B) (exists (?X ?Y) (and (member ?X ?A) (member ?Y ?B) (not (equal ?X ?Y)) (homologousChromosome ?X ?Y)))) |
VirusProteinAndCellPart.kif 849-857 |
|
consequent |
(=> (and (instance ?COLL HomologousChromosomeSet) (memberType ?COLL Chromosome) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N EukaryoticCell) (subCollection ?X ?COLL) (subCollection ?Y ?COLL) (not (equal ?X ?Y))) (homologousChromosomePair ?X ?Y)) |
VirusProteinAndCellPart.kif 877-888 |
|