| 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 3063-3069 | |
| (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 3062-3062 | Fax machine is a subclass of communication device |
| (subclass FaxMachine ElectricDevice) | Mid-level-ontology.kif 3061-3061 | Fax machine is a subclass of electric device |
| (subclass FaxMachine TelephonyDevice) | Mid-level-ontology.kif 3059-3059 | Fax machine is a subclass of telephony device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FaxMachine "传真机") | domainEnglishFormat.kif 23436-23436 | |
| (termFormat ChineseTraditionalLanguage FaxMachine "傳真機") | domainEnglishFormat.kif 23435-23435 | |
| (termFormat EnglishLanguage FaxMachine "fax machine") | domainEnglishFormat.kif 23434-23434 |
| antecedent |
|
|
| (=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26277-26284 |
|
| consequent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 26286-26291 |
|
| (=> (instance ?Fax Fax) (exists (?FaxMachine) (and (instance ?FaxMachine FaxMachine) (instrument ?Fax ?FaxMachine)))) |
Mid-level-ontology.kif 3052-3057 |
|
|
|
|