Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	例 Process and ViolentContest 患者 Process and Object attribute Object and InjuryCausedFn Process attribute Object and ImpairedBodyPartFn 空中航線模態屬性子類 Process and Combustion entity 例 entity and Injuring 位於 entity and entity 例 entity and 面對患者 entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11716-11716	子類空中航線 and 公交專用道
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11722-11722	子類喉 and 空中航線
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11734-11734	子類 Trachea and 空中航線