TreeView Knowledge Base Browser - 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	Le nombre 1 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 845-845	Le nombre 2 argument de homologousChromosomePair est une instance de MonoploidChromosomeSet
(instance homologousChromosomePair BinaryPredicate)	VirusProteinAndCellPart.kif 838-838	homologousChromosomePair est une instance de pr�dicat binaire

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

homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet
Chromosome Chromosome Chromosome est un membre de MonoploidChromosomeSet Chromosome est un membre de MonoploidChromosomeSet Chromosome est Chromosome homologousChromosome Chromosome and Chromosome

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

Collection est une instance de HomologousChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell MonoploidChromosomeSet est une sous-collection appartenant � collection MonoploidChromosomeSet est une sous-collection appartenant � collection MonoploidChromosomeSet est MonoploidChromosomeSet
homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: