Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TelephonyDevice
TelephonyDevice

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 22346-22354
(subclass TelephonyDevice CommunicationDevice) Mid-level-ontology.kif 22344-22344 TelephonyDevice is a subclass of communication device
(subclass TelephonyDevice ContactSite) Mid-level-ontology.kif 22343-22343 TelephonyDevice is a subclass of ContactSite
(subclass TelephonyDevice ElectricDevice) Mid-level-ontology.kif 22345-22345 TelephonyDevice is a subclass of electric device

appearance as argument number 2
-------------------------


(subclass FaxMachine TelephonyDevice) Mid-level-ontology.kif 3477-3477 Fax machine is a subclass of TelephonyDevice
(subclass Telephone TelephonyDevice) Mid-level-ontology.kif 22356-22356 Telephone is a subclass of TelephonyDevice

appearance as argument number 3
-------------------------


(domain deviceTelecomNumber 2 TelephonyDevice) Mid-level-ontology.kif 22795-22795 The number 2 argument of deviceTelecomNumber is an instance of TelephonyDevice
(domain telecomContactDevice 1 TelephonyDevice) Mid-level-ontology.kif 22769-22769 The number 1 argument of telecomContactDevice is an instance of TelephonyDevice


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners