| TelephonyDevice(telephony device) |
| appearance as argument number 1 |
|
|
| (documentation TelephonyDevice EnglishLanguage "A TelephonyDevice is a CommunicationDevice that, when connected to a TelephoneSystem, functions as an access point allowing end users (Humans or other Agents, such as autonomous/ scheduled ComputerPrograms) to send or receive signals via the system. Telephones and FaxMachines are TelephonyDevices. A given Computer may or may not function as a TelephonyDevice, depending on the ComputerPrograms it runs and the ComputerComponents that are part of it.") | Mid-level-ontology.kif 26217-26225 | |
| (subclass TelephonyDevice CommunicationDevice) | Mid-level-ontology.kif 26215-26215 | Telephony device is a subclass of communication device |
| (subclass TelephonyDevice ContactSite) | Mid-level-ontology.kif 26214-26214 | Telephony device is a subclass of contact site |
| (subclass TelephonyDevice ElectricDevice) | Mid-level-ontology.kif 26216-26216 | Telephony device is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (subclass FaxMachine TelephonyDevice) | Mid-level-ontology.kif 3456-3456 | Fax machine is a subclass of telephony device |
| (subclass Telephone TelephonyDevice) | Mid-level-ontology.kif 26227-26227 | Telephone is a subclass of telephony device |
| (termFormat EnglishLanguage TelephonyDevice "telephony device") | domainEnglishFormat.kif 65577-65577 | Telephone is a subclass of telephony device |
| appearance as argument number 3 |
|
|
| (domain deviceTelecomNumber 2 TelephonyDevice) | Mid-level-ontology.kif 26534-26534 | The number 2 argument of device telecom number is an instance of telephony device |
| (domain telecomContactDevice 1 TelephonyDevice) | Mid-level-ontology.kif 26513-26513 | The number 1 argument of telecom contact device is an instance of telephony device |
|
|