Gamete - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Gamete

Gamete

appearance as argument number 1

(subclass Gamete Cell)

Mid-level-ontology.kif 23402-23402

Gamete is a subclass of cell

appearance as argument number 2

(subclass Ovum Gamete)	Mid-level-ontology.kif 23403-23403	Ovum is a subclass of Gamete
(subclass Sperm Gamete)	Mid-level-ontology.kif 23404-23404	Sperm is a subclass of Gamete

consequent

(=>
    (instance ?F Fertilisation)
    (exists (?G1 ?G2)
        (and
            (instance ?G1 Gamete)
            (instance ?G2 Gamete)
            (not
                (equal ?G1 ?G2))
            (objectAttached ?F ?G1)
            (objectAttached ?F ?G2))))

Mid-level-ontology.kif 23420-23429

If a process is an instance of conception,
then there exist an entity and another entity such that the entity is an instance of Gamete and the other entity is an instance of Gamete and the entity is not equal to the other entity and the process attaches the entity to another object and the process attaches the other entity to another object

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners