Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8292-8301	Entidade e' uma instancia de OccupationalTrade Entidade e' uma instancia de Profession Entidade e' um atributo de Entidade vale durante Posicao Temporal Classe Classe e' uma sub-classe de Campo de Estudos hasExpertise Entidade and Classe vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8282-8282	OccupationalTrade e' uma sub-classe de SkilledOccupation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8283-8283	OccupationalTrade e' uma sub-classe de ManualLabor