Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalConception
BiologicalConception

appearance as argument number 1
-------------------------


(documentation BiologicalConception EnglishLanguage "The production of a zygote from the fusion of a male and female gamete.") Mid-level-ontology.kif 21825-21826
(relatedInternalConcept BiologicalConception Birth) Mid-level-ontology.kif 21823-21823 relatedInternalConcept BiologicalConception and Birth
(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 21824-21824 relatedInternalConcept BiologicalConception and Mating
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 21822-21822 relatedInternalConcept BiologicalConception and SexualReproduction
(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 21821-21821 subclass BiologicalConception and OrganOrTissueProcess

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage BiologicalConception "生物学概念") domainEnglishFormat.kif 11053-11053
(termFormat ChineseTraditionalLanguage BiologicalConception "生物學概念") domainEnglishFormat.kif 11052-11052
(termFormat EnglishLanguage BiologicalConception "biological conception") domainEnglishFormat.kif 11051-11051

consequent
-------------------------


(=>
    (instance ?C ContraceptiveDevice)
    (hasPurpose ?C
        (exists (?M)
            (and
                (instance ?M Mating)
                (patient ?M ?C)
                (not
                    (exists (?SR)
                        (and
                            (instance ?SR BiologicalConception)
                            (result ?M ?SR))))))))
Mid-level-ontology.kif 21837-21848
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 21827-21832


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners