(=> (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 | |
(subclass Document ContentBearingObject) | Mid-level-ontology.kif 26419-26419 | |
(subclass Document Artifact) | Mid-level-ontology.kif 26420-26420 | |
(subclass BusinessRequirementDocument Document) | UXExperimentalTerms.kif 2589-2589 | |
(subclass TestProtocolSpecification Document) | UXExperimentalTerms.kif 2747-2747 | |
(subclass Book Document) | Mid-level-ontology.kif 26440-26440 | |
(subclass TextDocument Document) | Media.kif 930-930 | |
(subclass Correspondence Document) | Media.kif 952-952 | |
(subclass HardcopyDocument Document) | Media.kif 1033-1033 |