| FaxMachine(fax machine)
| | facsimile, facsimile_machine, fax |
| 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 | Fax machine is a subclass of communication device |
| (subclass FaxMachine ElectricDevice) | Mid-level-ontology.kif 2988-2988 | Fax machine is a subclass of electric device |
| (subclass FaxMachine TelephonyDevice) | Mid-level-ontology.kif 2986-2986 | Fax machine is a subclass of telephony device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FaxMachine "传真机") | domainEnglishFormat.kif 23437-23437 | |
| (termFormat ChineseTraditionalLanguage FaxMachine "傳真機") | domainEnglishFormat.kif 23436-23436 | |
| (termFormat EnglishLanguage FaxMachine "fax machine") | domainEnglishFormat.kif 23435-23435 |
| antecedent |
|
|
| (=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25446-25453 |
|
| consequent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 25455-25460 |
|
| (=> (instance ?Fax Fax) (exists (?FaxMachine) (and (instance ?FaxMachine FaxMachine) (instrument ?Fax ?FaxMachine)))) |
Mid-level-ontology.kif 2979-2984 |
|
|
|
|