Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TextDocument
TextDocument(text document)

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 65594-65594

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners