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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Zygote

 Sigma KEE - Zygote
Zygote

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23995-23999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23992-23992 Zygote est une sous-classe de EukaryoticCell

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1038-1038 DecaploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 891-891 DiploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1044-1044 DodecaploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1026-1026 HeptaploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 987-987 HexaploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 750-750 MonoploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1032-1032 OctaploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 969-969 PentaploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 934-934 TetraploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 916-916 TriploidCell est une sous-classe de Zygote
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23993-23993

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24019-24028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24001-24006


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