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 and 真核細胞

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1038-1038	子類 DecaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 891-891	子類 DiploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1044-1044	子類 DodecaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1026-1026	子類 HeptaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 987-987	子類 HexaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 750-750	子類 MonoploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1032-1032	子類 OctaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 969-969	子類 PentaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 934-934	子類 TetraploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 916-916	子類 TriploidCell and 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	例 Process and Birth 起源 Process and Object Entity TimeInterval 例 Entity and Zygote 早期 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24001-24006	例 Process and Fertilisation Entity 例 Entity and Zygote 結果 Process and Entity

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