| 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