Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BiologicalConception(biological conception) |
| appearance as argument number 1 |
|
| (subclass BiologicalConception OrganOrTissueProcess) | Mid-level-ontology.kif 26324-26324 | Biological conception is a subclass of organ or tissue process |
| (relatedInternalConcept BiologicalConception SexualReproduction) | Mid-level-ontology.kif 26325-26325 | Biological conception is internally related to sexual reproduction |
| (relatedInternalConcept BiologicalConception Birth) | Mid-level-ontology.kif 26326-26326 | Biological conception is internally related to birth |
| (relatedInternalConcept BiologicalConception Mating) | Mid-level-ontology.kif 26327-26327 | Biological conception is internally related to mating |
| (documentation BiologicalConception EnglishLanguage "The production of a zygote from the fusion of a male and female gamete.") | Mid-level-ontology.kif 26328-26329 | Biological conception is internally related to mating |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?SR SexualReproduction) (exists (?C) (and (instance ?C BiologicalConception) (subProcess ?C ?SR)))) |
Mid-level-ontology.kif 26331-26336 | If X is an instance of sexual reproduction, then there exists Y such that Y is an instance of biological conception and Y is a subprocess of X |
| (=> (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 26342-26353 | If X is an instance of contraceptive device, then X has the purpose there exists Y such that Y is an instance of mating, X is a patient of Y, there doesn't exist Z such that Z is an instance of biological conception, and Z is a result of Y |
|