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	Die Zahl 1 Argument von homologousChromosomePair ist ein fall von MonoploidChromosomeSet %n{nicht}
(domain homologousChromosomePair 2 MonoploidChromosomeSet)	VirusProteinAndCellPart.kif 845-845	Die Zahl 2 Argument von homologousChromosomePair ist ein fall von MonoploidChromosomeSet %n{nicht}
(instance homologousChromosomePair BinaryPredicate)	VirusProteinAndCellPart.kif 838-838	homologousChromosomePair ist ein fall von BinaryPredicate %n{nicht}

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

Wenn homologousChromosomePair MonoploidChromosomeSet and ** MonoploidChromosomeSet,
dann es gibt Chromosome und ** Chromosome um ** Chromosome ist ein Mitglied von ** MonoploidChromosomeSet %n{nicht} und ** ** Chromosome ist ein Mitglied von ** ** MonoploidChromosomeSet %n{nicht} und ** Chromosome ist gleich ** ** Chromosome nicht und 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

Wenn Collection ist ein fall von HomologousChromosomeSet %n{nicht} und memberType ** Collection and Chromosome und ** Collection befindet sich an %n{nicht} und Object ist ein fall von CellNucleus %n{nicht} und ** Object ist ein teil von EukaryoticCell %n{nicht} und MonoploidChromosomeSet ist eine korrekte teilsammlung von ** Collection %n{nicht} und ** MonoploidChromosomeSet ist eine korrekte teilsammlung von ** Collection %n{nicht} und ** MonoploidChromosomeSet ist gleich ** ** MonoploidChromosomeSet nicht,
dann homologousChromosomePair ** MonoploidChromosomeSet and ** ** MonoploidChromosomeSet

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

KB Term:			Term intersection

English Word: