Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8293-8302	If an entity is an instance of occupational trade or the entity is an instance of profession and the entity is an attribute of another entity holds during a time position, then there exists a class such that the class is a subclass of field of study and the class has an expertise in the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8288-8288	Profession is a subclass of skilled occupation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18939-18939	Government position is a subclass of profession
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6334-6334	Medical person is a subclass of profession