No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8595-8595	Poison 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4876-4876	除虫菊 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1872-1872	吡啶斯的明溴化物 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8579-8579	类固醇 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9332-9332	刺激物 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3334-3334	Thyroxine 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 160-160	毒素 是 生物活性物质 的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1061-1061	Vaccine 是 生物活性物质 的 subclass
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