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 23994-23998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23991-23991 Zygote 是 真核细胞 的 subclass

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1037-1037 DecaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 890-890 DiploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1043-1043 DodecaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1025-1025 HeptaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 986-986 HexaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 749-749 MonoploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1031-1031 OctaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 968-968 PentaploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 933-933 TetraploidCell 是 Zygote 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 915-915 TriploidCell 是 Zygote 的 subclass
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24000-24005


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