FaxMachine
|
|
appearance as argument number 1 |
(documentation FaxMachine EnglishLanguage "A FaxMachine is a TelephonyDevice that scans a paper page and transmits a coded image of the page over a TelephoneSystem to a receiving FaxMachine, which decodes the coded and image and prints a replica of the original. A typical FaxMachine is made up of a scanner, a printer, a modem, and a control panel with some sort of status display.") | Mid-level-ontology.kif 2997-3003 | |
(externalImage FaxMachine "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 1c/ Samfax.jpg/ 300px-Samfax.jpg") | pictureList.kif 1111-1111 | |
(subclass FaxMachine CommunicationDevice) | Mid-level-ontology.kif 2996-2996 | |
(subclass FaxMachine ElectricDevice) | Mid-level-ontology.kif 2995-2995 | |
(subclass FaxMachine TelephonyDevice) | Mid-level-ontology.kif 2993-2993 |
appearance as argument number 2 |
(termFormat ChineseLanguage FaxMachine "传真机") | domainEnglishFormat.kif 23422-23422 | |
(termFormat ChineseTraditionalLanguage FaxMachine "傳真機") | domainEnglishFormat.kif 23421-23421 | |
(termFormat EnglishLanguage FaxMachine "fax machine") | domainEnglishFormat.kif 23420-23420 |
antecedent |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25157-25164 |
consequent |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 25166-25171 | |
(=> (instance ?Fax Fax) (exists (?FaxMachine) (and (instance ?FaxMachine FaxMachine) (instrument ?Fax ?FaxMachine)))) |
Mid-level-ontology.kif 2986-2991 |