Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Replication
Replication(replication)
abiogenetic, allogamous, androgenetic, androgenous, autogenetic, bigeneric, biogenesis, biogenetic, biogeny, breeding, cell_division, cellular_division, cross, cross-fertilisation, cross-fertilization, crossbred, crossbreeding, crossing, dihybrid_cross, diversify, fecundation, fertilisation, fertilization, fissiparous, gastrulation, gemmiferous, hybrid, hybridisation, hybridization, hybridizing, impregnation, interbreeding, intercrossed, monohybrid_cross, propagate, radiate, reciprocal, reciprocal_cross, reproduction, reseed, seed, test-cross, testcross

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2916-2917
No TPTP formula. May not be expressible in strict first order. Merge.kif 10438-10439
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1665-1666
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11750-11750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11751-11751
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10228-10228
No TPTP formula. May not be expressible in strict first order. Merge.kif 10436-10436 Replication is a subclass of organism process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10470-10470 Asexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. Merge.kif 10455-10455 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1083-1083 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. english_format.kif 1377-1377 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. french_format.kif 761-761 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 293-293 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. terms-it.txt 296-296 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2445-2445 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 713-713 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 332-332 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. terms-de.txt 591-591 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 782-782 Sexual reproduction is a subclass of replication
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 297-297 Sexual reproduction is a subclass of replication

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10441-10446
No TPTP formula. May not be expressible in strict first order. Merge.kif 14628-14636
No TPTP formula. May not be expressible in strict first order. Merge.kif 10448-10453

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6803-6815
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13996-14000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14002-14014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11595-11602


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



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