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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SexualReproduction

Sigma KEE - SexualReproduction
SexualReproduction(有性繁殖)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10367-10367 有性繁殖 和 % 2 是 disjoint
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 10369-10370
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 10366-10366 有性繁殖复制subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1348-1348 有性繁殖HIV病毒biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24099-24099 生物学概念有性繁殖 是 内部相关
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 10372-10379
No TPTP formula. May not be expressible in strict first order. Merge.kif 16457-16465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24105-24110

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24132-24139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20200-20203


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