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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Modem
Modem(modem)modem

appearance as argument number 1
-------------------------


s__documentation(s__Modem,s__EnglishLanguage,'"Modem is a device used by computers to connect computers to the internet using a telephone line"')

Hotel.kif 1352-1353
s__documentation(s__Modem,s__EnglishLanguage,'"A type of ComputerIODevice and ComputerPeripheralDevice. Each Modem is a device designed to facilitate communication between computers by modulating analog signals to encode digital information, and demodulating analog signals to decode information back into digital format."')

ComputerInput.kif 592-596
s__subclass(s__Modem,s__ComputerIODevice)

s__instance(s__ComputerIODevice,s__Class)

s__instance(s__Modem,s__Class)

ComputerInput.kif 590-590 Modem is a subclass of ComputerIODevice
s__instance(s__InternetAccessPoint,s__Class)

s__subclass(s__Modem,s__InternetAccessPoint)

s__instance(s__Modem,s__Class)

Hotel.kif 1351-1351 Modem is a subclass of internet access point

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


s__subclass(s__CableModem,s__Modem)

s__instance(s__Modem,s__Class)

s__instance(s__CableModem,s__Class)

ComputerInput.kif 598-598 CableModem is a subclass of modem
s__subclass(s__RadioModem,s__Modem)

s__instance(s__RadioModem,s__Class)

s__instance(s__Modem,s__Class)

ComputerInput.kif 616-616 RadioModem is a subclass of modem
s__termFormat(s__EnglishLanguage,s__Modem,'"modem"')

Hotel.kif 1354-1354

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1356-1363


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 3.0 is open source software produced by Articulate Software and its partners