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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10331-10331 Sexual reproduction is disjoint from asexual reproduction
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2918-2918
No TPTP formula. May not be expressible in strict first order. Merge.kif 10333-10334
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1667-1667
No TPTP formula. May not be expressible in strict first order. Merge.kif 10330-10330 Sexual reproduction is a subclass of replication

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1348-1348 Sexual reproduction is a biochemical agent delivery of HIV virus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24042-24042 Biological conception is internally related to sexual reproduction
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1084-1084
No TPTP formula. May not be expressible in strict first order. english_format.kif 1379-1379
No TPTP formula. May not be expressible in strict first order. french_format.kif 762-762
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order. terms-it.txt 297-297
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2446-2446
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 714-714
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 333-333
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 783-783
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 298-298

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10336-10343
No TPTP formula. May not be expressible in strict first order. Merge.kif 16386-16394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24048-24053

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24075-24082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20173-20176


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