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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioStation

 Sigma KEE - RadioStation
RadioStation(radio station)
radio_station

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 290-291
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. pictureList.kif 6809-6809
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7699-7699
No TPTP formula. May not be expressible in strict first order. Communications.kif 287-287 Radio station is a subclass of broadcasting station

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 293-293 AM radio station is a subclass of radio station
No TPTP formula. May not be expressible in strict first order. Communications.kif 298-298 FM radio station is a subclass of radio station
No TPTP formula. May not be expressible in strict first order. Communications.kif 303-303 Shortwave radio station is a subclass of radio station
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48542-48542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48541-48541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48540-48540

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Communications.kif 225-229


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