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