Sigma KB Term Intersection

(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS))	Biography.kif 730-740	Wenn Writer ist ein attribut von AutonomousAgent %n{nicht} und Entity ist ein fall von ContentBearingObject %n{nicht} und ContentBearingObject ist eine teilkategorie von Text oder ContentBearingObject ist eine teilkategorie von Document und Process ist ein fall von Writing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann AutonomousAgent ist der schreiber von ** ContentBearingObject
(subclass Writing ContentDevelopment)	Merge.kif 12697-12697	Writing ist eine teilkategorie von ContentDevelopment
(subclass Encoding Writing)	Merge.kif 12703-12703	Encoding ist eine teilkategorie von Writing
(subclass Decoding Writing)	Merge.kif 12709-12709	Decoding ist eine teilkategorie von Writing