Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SexualReproduction(sexual reproduction) |  | all_the_way, amphimixis, anal_intercourse, anal_sex, anisogametic, anisogamic, anisogamous, anisogamy, ass, assortative_mating, autosexing, backcross, bang, bang_up, be_intimate, bear, bed, beget, bestiality, birth, bisexuality, bondage, bonk, breed, breeding, bring_forth, bugger, buggery, capacitate, carnal_knowledge, carnalise, carnalize, carry, carry_to_term, cattle_breeding, celibacy, chastity, coital, coition, coitus, conceive, conception, congress, conjugation, consummate, copulate, copulation, copulatory, couple, coupling... |
| appearance as argument number 1 |
|
|
| (subclass SexualReproduction Replication) | Merge.kif 10577-10577 | Sexual reproduction is a subclass of replication |
| (disjoint SexualReproduction AsexualReproduction) | Merge.kif 10578-10578 | Sexual reproduction is disjoint from asexual reproduction |
| (documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") | Merge.kif 10580-10581 | Sexual reproduction is disjoint from asexual reproduction |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept BiologicalConception SexualReproduction) | Mid-level-ontology.kif 26325-26325 | Biological conception is internally related to sexual reproduction |
| (biochemicalAgentDelivery HIVVirus SexualReproduction) | WMD.kif 1344-1344 | Sexual reproduction is a biochemical agent delivery of HIV virus |
| (termFormat EnglishLanguage SexualReproduction "sexual reproduction") | english_format.kif 1383-1383 | Sexual reproduction is a biochemical agent delivery of HIV virus |
| antecedent |
|
|
| (=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10583-10590 | If X is an instance of sexual reproduction and Y is a result of X, then there exist Z, W such that Z is a mother of Y, and W is a father of Y |
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16745-16753 | If X is a parent of Y, Z is an instance of sexual reproduction, X is an agent of Z, and Y is a result of Z, then X is a mother of Y or X is a father of Y |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?MULE Mule) (not (capability SexualReproduction agent ?MULE))) |
Mid-level-ontology.kif 22422-22425 | If X is an instance of mule, then X is not capable of doing sexual reproduction as a agent |
| (=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E)))) |
Mid-level-ontology.kif 26358-26365 | If X is an instance of bird egg, then there exist Y, Z such that Y is an instance of sexual reproduction, Z is an agent of Y, Z is an instance of bird, and X is a result of Y |
|