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 25691-25692
(relatedInternalConcept BiologicalConception Birth) Mid-level-ontology.kif 25689-25689 BiologicalConception出生internally 関連して
(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 25690-25690 BiologicalConceptionMatinginternally 関連して
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 25688-25688 BiologicalConception有性生殖internally 関連して
(subclass BiologicalConception OrganOrTissueProcess) Mid-level-ontology.kif 25687-25687 BiologicalConception臓器または組織のプロセスsubclass では

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


(termFormat ChineseLanguage BiologicalConception "生物学概念") domainEnglishFormat.kif 11114-11114
(termFormat ChineseTraditionalLanguage BiologicalConception "生物學概念") domainEnglishFormat.kif 11113-11113
(termFormat EnglishLanguage BiologicalConception "biological conception") domainEnglishFormat.kif 11112-11112

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 25705-25716
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 25694-25699


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