Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质和另一个有点过程是有点过程的 subclass，然后那个疾病或综合症是对于另一个有点过程的 disease 治愈有点生物活性物质
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	如果疾病或综合症是对于有点过程的 disease 治愈外用抗生素，然后有点过程是遮盖的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	如果物理是 Immunosuppressive 的 subclass，然后那个物理的目的是实体是 AutoImmuneDisorder 的 instance 和那个实体是对于另一个实体的 disease 治愈那个物理
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	如果疾病或综合症是对于有点过程的 disease 治愈口服抗生素，然后有点过程是消化的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	如果疾病或综合症是对于有点过程的 disease 治愈杆菌肽，然后那个疾病或综合症是细菌性疾病的 instance 和有点过程是放的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质和另一个有点生物活性物质是有点生物活性物质的 subclass，然后那个疾病或综合症是对于有点过程的 disease 治愈另一个有点生物活性物质

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