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. Merge.kif 14792-14792 Protein is a subclass of nutrient
No TPTP formula. May not be expressible in strict first order. WMD.kif 430-430 Ricin toxin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. WMD.kif 438-438 Abrin toxin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 269-269 Structural protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 273-273 Transport protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 277-277 Motor protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 281-281 Storage protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 285-285 Signaling protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 289-289 Receptor protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 293-293 Gene regulatory protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 297-297 Special purpose protein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 300-300 Histone is a subclass of protein
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1078-1078 Lipoprotein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10974-10974 Antibody is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Merge.kif 14796-14796 Enzyme is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 251-251 Hemoglobin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3716-3716 Interleukin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3925-3925 Troponin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4904-4904 Ferritin is a subclass of protein


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