Sigma KB Term Intersection

(=> (instance ?C AircraftCarrier) (hasPurpose ?C (exists (?A ?T ?CLASS) (and (instance ?A AirCraft) (patient ?T ?A) (instance ?T ?CLASS) (or (and (capability ?CLASS origin ?C) (subclass ?CLASS TakingOff)) (and (capability ?CLASS destination ?C) (subclass ?CLASS Landing ?C)))))))	Transportation.kif 2467-2481	物理は AircraftCarrier の instance では %n 物理はエンティティーエンティティー and 物理LASS エンティティーは AirCraft の instance では %n エンティティーはエンティティーの patient では %n エンティティーは物理LASS の instance では %n 物理は物理LASS を origin として行う capable では %n 物理LASS は TakingOff の subclass では %n 物理は物理LASS を destination として行う capable では %n 物理LASS は Landing の subclass では %n の目的 %n{ない}
(subclass TakingOff Translocation)	Mid-level-ontology.kif 17263-17263	TakingOff は Translocation の subclass では %n