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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellPart
CellPart(cell part)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10832-10832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10831-10831 Cell part is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 657-657 The range of cell part is an instance of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 567-567 Cell internal membrane group is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 392-392 Cell membrane is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10841-10841 Cell nucleus is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 395-395 Cell wall is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 527-527 Chromotin is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 384-384 Cytoplasm is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 537-537 Cytoskeleton is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 540-540 Endomembrane is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 497-497 Hydrophilic side is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 486-486 Hydrophobic side is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 442-442 Lipid bilayer is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 388-388 Protein synthesis tool is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13674-13674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13673-13673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13672-13672

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 656-656 The number 2 argument of cell part is a subclass of cell part

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10834-10839

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 548-552


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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