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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FaxMessage

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

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


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

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


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


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