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

appearance as argument number 2

(subclass ContractDocument TextDocument)	Media.kif 975-975
(subclass Letter TextDocument)	Media.kif 954-954
(termFormat EnglishLanguage TextDocument "text document")	domainEnglishFormat.kif 65619-65619

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