TreeView Knowledge Base Browser - TelevisionStation

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

TelevisionStation

Sigma KEE - TelevisionStation

TelevisionStation(television station)

TV_station, television, television_station, television_system, television_transmitter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 324-325
No TPTP formula. May not be expressible in strict first order.	Communications.kif 323-323	Television station is a component of television system
No TPTP formula. May not be expressible in strict first order.	Communications.kif 322-322	Television station is a subclass of broadcasting station

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57358-57358
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57357-57357
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57356-57356

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 225-229	If an entity is an instance of broadcasting station, then the entity is an instance of television station or the entity is an instance of radio station
No TPTP formula. May not be expressible in strict first order.	Communications.kif 326-331	If an engineering component is an instance of television system, then there exists another engineering component such that the other engineering component is an instance of television station and the other engineering component is a component of the engineering component

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