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 14771-14771 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. Mid-level-ontology.kif 8302-8302 Steroid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8324-8324 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8956-8956 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8967-8967 Stimulant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8973-8973 Depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8978-8978 Opium is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9141-9141 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9145-9145 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14785-14785 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14965-14965 Hormone 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


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