Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21036-21043	attribute Object and 醫生 Process Process 子類 Process and DiagnosticProcess 子類 Process and TherapeuticProcess 能力 Process, agent and Object 能力 Process, agent and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	attribute Object and Pulmonologist Process Process, Object and Object 子類 Class and DiagnosticProcess 子類 Class and TherapeuticProcess 患者 Process and Object 患者 Process and Object 例 Object and 肺部分 Object and Object 位於 Process and 肺位於 Process and 肺
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12954-12954	子類 DiagnosticProcess and Investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24084-24084	子類活檢 and DiagnosticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 461-461	子類 MeasuringBreathing and DiagnosticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3425-3425	子類 Electrocardiography and DiagnosticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6497-6497	子類 CheckingVitals and DiagnosticProcess