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 917-919
(subclass TextDocument Document)	Media.kif 921-921	Text document is a subclass of document

appearance as argument number 2

(subclass ContractDocument TextDocument)	Media.kif 955-955	Contract document is a subclass of text document
(subclass PolicyDocument TextDocument)	TravelPolicies.kif 276-276	Policy document is a subclass of text document
(termFormat EnglishLanguage TextDocument "text document")	domainEnglishFormat.kif 65597-65597	Policy document is a subclass of text document

antecedent

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

If X is an instance of text document, then there exists Y such that Y is an instance of text and Y is a component of X

consequent

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

If X is an instance of text, Y is an instance of document, and X is a part of Y, then Y is an instance of text document