Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	如果 Pulmonologist 是客体的 attribute，然后有存在过程，另一个过程,，，另一个客体， and 和第三客体这样类是诊断过程的 subclass 和另一个类是治疗过程的 subclass 和那个另外客体是那个过程的 patient 和那个另外客体是那个另外过程的 patient 和那个第三客体是肺的 instance 和那个第三客体是那个另外客体的 part 和那个过程是 located 在肺和那个另外过程是 located 在肺
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11186-11186	肺是 VitalOrgan 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11187-11187	肺是动物解剖结构的 subclass