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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TextDocument

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 TextDocumentDocumentsubclass

appearance as argument number 2

(subclass ContractDocument TextDocument) Media.kif 975-975 ContractDocumentTextDocumentsubclass
(subclass Letter TextDocument) Media.kif 954-954 信件TextDocumentsubclass
(termFormat EnglishLanguage TextDocument "text document") domainEnglishFormat.kif 65594-65594


    (instance ?OBJ TextDocument)
    (exists (?TXT)
            (instance ?TXT Text)
            (component ?TXT ?OBJ))))
Media.kif 931-936


        (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