Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RouterWithModem
RouterWithModem(router with modem)

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


(subclass RouterWithModem HomeOfficeAppliance) HouseholdAppliances.kif 567-567 Router with modem is a subclass of home office appliance
(subclass RouterWithModem CableModem) HouseholdAppliances.kif 568-568 Router with modem is a subclass of cable modem
(subclass RouterWithModem NetworkRouter) HouseholdAppliances.kif 569-569 Router with modem is a subclass of network router
(documentation RouterWithModem EnglishLanguage "A CommunicationDevice combining NetworkRouter and CableModem.") HouseholdAppliances.kif 570-570 Router with modem is a subclass of network router

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


(termFormat EnglishLanguage RouterWithModem "router with modem") HouseholdAppliances.kif 571-571


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners