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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fertilisation

 Sigma KEE - Fertilisation
Fertilisation(conceiving)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23966-23972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23965-23965 Conceiving is a subclass of attaching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23964-23964 Conceiving is a subclass of organ or tissue process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23975-23975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23974-23974

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23977-23986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24001-24006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23988-23990


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