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 23994-23998
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23991-23991	子類 Zygote and 真核細胞

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1037-1037	子類 DecaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 890-890	子類 DiploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1043-1043	子類 DodecaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1025-1025	子類 HeptaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 986-986	子類 HexaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 749-749	子類 MonoploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1031-1031	子類 OctaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 968-968	子類 PentaploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 933-933	子類 TetraploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 915-915	子類 TriploidCell and Zygote
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23992-23992

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24018-24027	例 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 24000-24005	例 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