| 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 | Fax message is a subclass of correspondence |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FaxMessage "fax message") | domainEnglishFormat.kif 64875-64875 |
| 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