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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsexualReproduction

 Sigma KEE - AsexualReproduction
AsexualReproduction(Reproducao Assexual)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2919-2919
No TPTP formula. May not be expressible in strict first order. Merge.kif 10383-10384
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1668-1668
No TPTP formula. May not be expressible in strict first order. Merge.kif 10381-10381 Reproducao Assexual e' uma sub-classe de Reproducao

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10367-10367 Reproducao Sexual e' disjunto de Reproducao Assexual
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1085-1085
No TPTP formula. May not be expressible in strict first order. english_format.kif 1381-1381
No TPTP formula. May not be expressible in strict first order. french_format.kif 763-763
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 295-295
No TPTP formula. May not be expressible in strict first order. terms-it.txt 298-298
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2447-2447
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 715-715
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 334-334
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 784-784
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 299-299

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10399-10405


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