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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(subclass ContractDocument TextDocument) Media.kif 975-975
(subclass Letter TextDocument) Media.kif 954-954
(subclass PolicyDocument TextDocument) TravelPolicies.kif 273-273

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners