| SexualReproduction | |
| appearance as argument number 1 |
|
|
| (disjoint SexualReproduction AsexualReproduction) | Merge.kif 10244-10244 | |
| (documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") | chinese_format.kif 2918-2918 | |
| (documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") | Merge.kif 10246-10247 | |
| (subclass SexualReproduction Replication) | Merge.kif 10243-10243 |
| appearance as argument number 2 |
|
|
| (biochemicalAgentDelivery HIVVirus SexualReproduction) | WMD.kif 1339-1339 | |
| (relatedInternalConcept BiologicalConception SexualReproduction) | Mid-level-ontology.kif 23481-23481 | |
| (termFormat ChineseLanguage SexualReproduction "有性繁殖") | chinese_format.kif 1084-1084 | |
| (termFormat EnglishLanguage SexualReproduction "sexual reproduction") | english_format.kif 1379-1379 |
| antecedent |
|
|
| (=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10249-10256 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16117-16125 | |
| (=> (instance ?SR SexualReproduction) (exists (?C) (and (instance ?C BiologicalConception) (subProcess ?C ?SR)))) |
Mid-level-ontology.kif 23487-23492 |
| consequent |
|
|
| (=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E)))) |
Mid-level-ontology.kif 23514-23521 | |
| (=> (instance ?MULE Mule) (not (capability SexualReproduction agent ?MULE))) |
Mid-level-ontology.kif 19504-19507 |
|
|
|