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 2990-2996 | |
(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 2989-2989 | |
(subclass FaxMachine ElectricDevice) | Mid-level-ontology.kif 2988-2988 | |
(subclass FaxMachine TelephonyDevice) | Mid-level-ontology.kif 2986-2986 |
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 25215-25222 |
consequent |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 25224-25229 | |
(=> (instance ?Fax Fax) (exists (?FaxMachine) (and (instance ?FaxMachine FaxMachine) (instrument ?Fax ?FaxMachine)))) |
Mid-level-ontology.kif 2979-2984 |