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 14688-14688 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 1077-1077 Lipoprotein is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9625-9625 Antibody is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Merge.kif 14692-14692 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 3731-3731 Interleukin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3940-3940 Troponin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4919-4919 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