SexualReproduction(RiproduzioneSessuata) |
appearance as argument number 1 |
(disjoint SexualReproduction AsexualReproduction) | Merge.kif 10353-10353 | RiproduzioneSessuata è disgiunto da RiproduzioneAsessuata |
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") | chinese_format.kif 2918-2918 | |
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") | Merge.kif 10355-10356 | |
(documentation SexualReproduction JapaneseLanguage "生物学的生殖の性的 Processes。") | japanese_format.kif 1667-1667 | |
(subclass SexualReproduction Replication) | Merge.kif 10352-10352 | RiproduzioneSessuata è una sottoclasse di Replicazione |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10358-10365 | |
(=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16408-16416 | |
(=> (instance ?SR SexualReproduction) (exists (?C) (and (instance ?C BiologicalConception) (subProcess ?C ?SR)))) |
Mid-level-ontology.kif 24047-24052 |
|
consequent |
(=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E)))) |
Mid-level-ontology.kif 24074-24081 |
|
(=> (instance ?MULE Mule) (not (capability SexualReproduction agent ?MULE))) |
Mid-level-ontology.kif 20172-20175 |