Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SomaticCell

 Sigma KEE - SomaticCell
SomaticCell

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23944-23944 不相交的 SomaticCell and Gamete
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23939-23942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23938-23938 子類 SomaticCell and 真核細胞

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10151-10151 子類 血細胞 and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1037-1037 子類 DecaploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 890-890 子類 DiploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1043-1043 子類 DodecaploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1025-1025 子類 HeptaploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 986-986 子類 HexaploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 749-749 子類 MonoploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10753-10753 子類 神經細胞 and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1031-1031 子類 OctaploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 968-968 子類 PentaploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 933-933 子類 TetraploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 915-915 子類 TriploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23943-23943


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