TextDocument - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TextDocument EnglishLanguage "Instances of TextDocument are Documents that have at least one part that is an instance of Text.")	Media.kif 926-928
(subclass TextDocument Document)	Media.kif 930-930	Text document is a subclass of document

appearance as argument number 2

(subclass ContractDocument TextDocument)	Media.kif 975-975	Contract document is a subclass of text document
(subclass Letter TextDocument)	Media.kif 954-954	Letter is a subclass of text document
(termFormat EnglishLanguage TextDocument "text document")	domainEnglishFormat.kif 65642-65642	Letter is a subclass of text document

antecedent

(=>
    (instance ?OBJ TextDocument)
    (exists (?TXT)
        (and
            (instance ?TXT Text)
            (component ?TXT ?OBJ))))

Media.kif 931-936

consequent

(=>
    (and
        (instance ?TXT Text)
        (instance ?OBJ Document)
        (part ?TXT ?OBJ))
    (instance ?OBJ TextDocument))

Media.kif 938-943