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 14634-14634 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 80-80 Biochemical agent is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 160-160 Toxin is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 441-441 Chemical agent is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 508-508 Dimercaprol is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1229-1229 Atropine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1721-1721 Pyridostigmine bromide is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1316-1316 CS gas is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4153-4153 Controlled substance is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4199-4199 Pyrethrum is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8290-8290 Steroid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8312-8312 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8944-8944 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8955-8955 Stimulant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8961-8961 Depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8966-8966 Opium is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9129-9129 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9133-9133 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14648-14648 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14828-14828 Hormone is a subclass of biologically active substance


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners