No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8595-8595	Poison is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4876-4876	Pyrethrum is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1872-1872	Pyridostigmine bromide is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8579-8579	Steroid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9332-9332	Stimulant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3334-3334	Thyroxine 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 1061-1061	Vaccine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1004-1004
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1220-1220
No TPTP formula. May not be expressible in strict first order.	french_format.kif 681-681
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 212-212
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 215-215
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2365-2365
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 249-249
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 702-702
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 216-216

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