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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FaxMessage
FaxMessage

appearance as argument number 1
-------------------------


(documentation FaxMessage EnglishLanguage "Instances of FaxMessage are Documents that result from the transmission of information via a FaxMachine, or technology that emulates a FaxMachine, such as a personal computer running FAX software and connected to a video monitor or printer.") Media.kif 1011-1015
(subclass FaxMessage Correspondence) Media.kif 1010-1010 FaxMessage est une sous-classe de Correspondence

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


(termFormat EnglishLanguage FaxMessage "fax message") domainEnglishFormat.kif 64850-64850

consequent
-------------------------


(=>
    (instance ?ACT Fax)
    (exists (?MSG)
        (and
            (instance ?MSG FaxMessage)
            (result ?ACT ?MSG))))
Media.kif 1017-1022


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