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 e' disjunto de 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 e' uma sub-classe de EukaryoticCell

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10151-10151 BloodCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1037-1037 DecaploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 890-890 DiploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1043-1043 DodecaploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1025-1025 HeptaploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 986-986 HexaploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 749-749 MonoploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10753-10753 NerveCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1031-1031 OctaploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 968-968 PentaploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 933-933 TetraploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 915-915 TriploidCell e' uma sub-classe de 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