![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint SexualReproduction AsexualReproduction) | Merge.kif 10471-10471 | Sexual reproduction is disjoint from asexual reproduction |
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") | chinese_format.kif 2918-2918 | Sexual reproduction is disjoint from asexual reproduction |
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") | Merge.kif 10473-10474 | Sexual reproduction is disjoint from asexual reproduction |
(documentation SexualReproduction JapaneseLanguage "生物学的生殖の性的 Processes。") | japanese_format.kif 1667-1667 | Sexual reproduction is disjoint from asexual reproduction |
(subclass SexualReproduction Replication) | Merge.kif 10470-10470 | Sexual reproduction is a subclass of replication |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E)))) |
Mid-level-ontology.kif 25721-25728 |
|
(=> (instance ?MULE Mule) (not (capability SexualReproduction agent ?MULE))) |
Mid-level-ontology.kif 21790-21793 |
|
![]() |
![]() |