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


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