|
|
   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 2948-2954 | |
| (externalImage FaxMachine "http://upload.wikimedia.org/wikipedia/en/thumb/ 1/ 1c/ Samfax.jpg/ 300px-Samfax.jpg") | pictureList.kif 1112-1112 | |
| (subclass FaxMachine CommunicationDevice) | Mid-level-ontology.kif 2947-2947 | |
| (subclass FaxMachine ElectricDevice) | Mid-level-ontology.kif 2946-2946 | |
| (subclass FaxMachine TelephonyDevice) | Mid-level-ontology.kif 2944-2944 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FaxMachine "传真机") | domainEnglishFormat.kif 23415-23415 | |
| (termFormat ChineseTraditionalLanguage FaxMachine "傳真機") | domainEnglishFormat.kif 23414-23414 | |
| (termFormat EnglishLanguage FaxMachine "fax machine") | domainEnglishFormat.kif 23413-23413 |
| antecedent |
|
|
| (=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 24490-24497 |
| consequent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 24499-24504 | |
| (=> (instance ?Fax Fax) (exists (?FaxMachine) (and (instance ?FaxMachine FaxMachine) (instrument ?Fax ?FaxMachine)))) |
Mid-level-ontology.kif 2937-2942 |
|
|
|
