TreeView Knowledge Base Browser - SexualReproduction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

SexualReproduction

Sigma KEE - SexualReproduction

SexualReproduction(sexual reproduction)

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, cover...

appearance as argument number 1

(disjoint SexualReproduction AsexualReproduction)	Merge.kif 10238-10238	Sexual reproduction is disjoint from asexual reproduction
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。")	chinese_format.kif 2918-2918
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.")	Merge.kif 10240-10241
(subclass SexualReproduction Replication)	Merge.kif 10237-10237	Sexual reproduction is a subclass of replication

appearance as argument number 2

(biochemicalAgentDelivery HIVVirus SexualReproduction)	WMD.kif 1339-1339	Sexual reproduction is a biochemical agent delivery of HIV virus
(relatedInternalConcept BiologicalConception SexualReproduction)	Mid-level-ontology.kif 23457-23457	Biological conception is internally related to sexual reproduction
(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 10243-10250	If a process is an instance of sexual reproduction and an organism is a result of the process, then there exist another organism and a third organism such that the other organism is a mother of the organism and the third organism is a father of the organism
(=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT)))	Merge.kif 16104-16112	If an organism is a parent of another organism and a process is an instance of sexual reproduction and the organism is an agent of the process and the other organism is a result of the process, then the organism is a mother of the other organism or the organism is a father of the other organism
(=> (instance ?SR SexualReproduction) (exists (?C) (and (instance ?C BiologicalConception) (subProcess ?C ?SR))))	Mid-level-ontology.kif 23463-23468	If a process is an instance of sexual reproduction, then there exists another process such that the other process is an instance of biological conception and the other process is a subprocess of the process

consequent

(=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E))))	Mid-level-ontology.kif 23490-23497	If an entity is an instance of bird egg, then there exist a process and an agent such that the process is an instance of sexual reproduction and the agent is an agent of the process and the agent is an instance of bird and the entity is a result of the process
(=> (instance ?MULE Mule) (not (capability SexualReproduction agent ?MULE)))	Mid-level-ontology.kif 19480-19483	If an object is an instance of mule, then the object is not capable of doing sexual reproduction as a agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners