Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10879-10879 Cell part is a subclass of body part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 435-435 Cytoplasm is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 439-439 Protein synthesis tool is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 443-443 Cell membrane is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 446-446 Cell wall is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 493-493 Lipid bilayer is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 537-537 Hydrophobic side is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 548-548 Hydrophilic side is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 578-578 Chromosome is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 597-597 Chromotin is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 619-619 Nucleosome is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1050-1050 Cytoskeleton is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1053-1053 Endomembrane is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1080-1080 Cell internal membrane group is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10889-10889 Cell nucleus is a subclass of cell part


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