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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioSystem

Sigma KEE - RadioSystem
RadioSystem(radio system)

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 232-234
No TPTP formula. May not be expressible in strict first order. Communications.kif 231-231 Radio system is a subclass of communication system

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 294-294 AM radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 299-299 FM radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 289-289 Radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 304-304 Shortwave radio station is a component of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AM radio system is a subclass of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 251-251 Baby monitor is a subclass of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 241-241 FM radio system is a subclass of radio system
No TPTP formula. May not be expressible in strict first order. Communications.kif 246-246 Shortwave radio system is a subclass of radio system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48556-48556
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48555-48555
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48554-48554

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 310-315


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

Show without tree


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