Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8292-8301	如果实体是职业贸易的 instance 或那个实体是职业的 instance 和那个实体是另一个实体的 attribute 在时间位置 holdsDuring，然后有存在类这样那个类是研究领域的 subclass 和那个类有在那个另外实体的专业知识在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8287-8287	职业是熟练的职业的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18938-18938	政府立场是职业的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6334-6334	MedicalPerson 是职业的 subclass