TreeView Knowledge Base Browser - Zygote

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 e' uma sub-classe de EukaryoticCell

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1038-1038	DecaploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 891-891	DiploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1044-1044	DodecaploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1026-1026	HeptaploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 987-987	HexaploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 750-750	MonoploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1032-1032	OctaploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 969-969	PentaploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 934-934	TetraploidCell e' uma sub-classe de Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 916-916	TriploidCell e' uma sub-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	Processo e' uma instancia de Nascimento Processo tem como origem Objeto Entidade Intervalo Temporal Entidade e' uma instancia de Zygote Intervalo Temporal acontence antes de tempo de existencia de Processo Entidade e' situado em Objeto vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24001-24006	Processo e' uma instancia de Fertilisation Entidade Entidade e' uma instancia de Zygote Entidade e' o resultado de Processo

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