Bust
|
|
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 24045-24046 | |
(relatedInternalConcept BiologicalConception Birth) | Mid-level-ontology.kif 24043-24043 | BiologicalConception は 出生 に internally 関連して %n |
(relatedInternalConcept BiologicalConception Mating) | Mid-level-ontology.kif 24044-24044 | BiologicalConception は Mating に internally 関連して %n |
(relatedInternalConcept BiologicalConception SexualReproduction) | Mid-level-ontology.kif 24042-24042 | BiologicalConception は 有性生殖 に internally 関連して %n |
(subclass BiologicalConception OrganOrTissueProcess) | Mid-level-ontology.kif 24041-24041 | 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 24059-24070 | |
(=> (instance ?SR SexualReproduction) (exists (?C) (and (instance ?C BiologicalConception) (subProcess ?C ?SR)))) |
Mid-level-ontology.kif 24048-24053 |
|