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 是 真核细胞 的 subclass

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1038-1038 DecaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 891-891 DiploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1044-1044 DodecaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1026-1026 HeptaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 987-987 HexaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 750-750 MonoploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1032-1032 OctaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 969-969 PentaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 934-934 TetraploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 916-916 TriploidCell 是 Zygote 的 subclass
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