Sigma KB Term Intersection

(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT))	Merge.kif 15553-15560	ContentBearingPhysical est une instance de objet exprimant un sens objet exprimant un sens est une sous-classe de FactualText agent cognitif est l' auteur de objet exprimant un sens ContentBearingPhysical classe le contenu de formule formule est une instance de formule agent cognitif croit formule
(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FictionalText) (authors ?AGENT ?CLASS)) (exists (?CONTENT) (and (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula) (not (believes ?AGENT ?CONTENT)))))	Merge.kif 15584-15593	ContentBearingPhysical est une instance de objet exprimant un sens objet exprimant un sens est une sous-classe de FictionalText agent cognitif est l' auteur de objet exprimant un sens formule ContentBearingPhysical classe le contenu de formule formule est une instance de formule agent cognitif ne croit formule
(subclass Formula Sentence)	Merge.kif 1557-1557	Formule est une sous-classe de phrase