Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	ArtCritic est un attribut de objet objet a pour but entit� entit� and entit� entit� est une instance de objet d'art temps d'existence de objet recouvre temps d'existence de entit� entit� est une instance de entit� entit� est une sous-classe de article objet est l' auteur de entit� entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14676-14676	Article est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14692-14692	Chapter est une sous-classe de article
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14771-14771	Report est une sous-classe de article
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	ShortStory est une sous-classe de article