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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicalConception

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 24102-24103
(relatedInternalConcept BiologicalConception Birth) Mid-level-ontology.kif 24100-24100 BiologicalConception出生internally 関連して %n
(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 24101-24101 BiologicalConceptionMatinginternally 関連して %n
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 24099-24099 BiologicalConception有性生殖internally 関連して %n
(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 24098-24098 BiologicalConception臓器または組織のプロセスsubclass では %n

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

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 24116-24127
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 24105-24110


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

Show without tree


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