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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TextDocument

Sigma KEE - TextDocument
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 TextDocument est une sous-classe de Document

appearance as argument number 2
-------------------------


(subclass ContractDocument TextDocument) Media.kif 975-975 ContractDocument est une sous-classe de TextDocument
(subclass Letter TextDocument) Media.kif 954-954 Letter est une sous-classe de TextDocument
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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