Sigma KB Term Intersection

Term Intersection : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

Term 1: Term 2:

(=> (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 738-748	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
(subclass Writing ContentDevelopment)	Merge.kif 12873-12873	Writing is a subclass of content development
(subclass Encoding Writing)	Merge.kif 12879-12879	Encoding is a subclass of writing
(subclass Decoding Writing)	Merge.kif 12885-12885	Decoding is a subclass of writing