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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadioModem
RadioModem(radio modem)

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


(disjoint RadioModem CableModem) ComputerInput.kif 594-594 Radio modem is disjoint from cable modem
(documentation RadioModem EnglishLanguage "A type of Modem that provides bi_directional data communication via radio connection with a network or computer.") ComputerInput.kif 590-592 Radio modem is disjoint from cable modem
(subclass RadioModem Modem) ComputerInput.kif 588-588 Radio modem is a subclass of modem

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


(termFormat EnglishLanguage RadioModem "radio modem") domainEnglishFormat.kif 65404-65404


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