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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 24044-24045
(relatedInternalConcept BiologicalConception Birth) Mid-level-ontology.kif 24042-24042
(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 24043-24043
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 24041-24041
(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 24040-24040

appearance as argument number 2

(termFormat ChineseLanguage BiologicalConception "生物学概念") domainEnglishFormat.kif 11105-11105
(termFormat ChineseTraditionalLanguage BiologicalConception "生物學概念") domainEnglishFormat.kif 11104-11104
(termFormat EnglishLanguage BiologicalConception "biological conception") domainEnglishFormat.kif 11103-11103


    (instance ?C ContraceptiveDevice)
    (hasPurpose ?C
        (exists (?M)
                (instance ?M Mating)
                (patient ?M ?C)
                    (exists (?SR)
                            (instance ?SR BiologicalConception)
                            (result ?M ?SR))))))))
Mid-level-ontology.kif 24058-24069
    (instance ?SR SexualReproduction)
    (exists (?C)
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 24047-24052

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