TreeView Knowledge Base Browser - TelevisionReceiver

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TelevisionReceiver

Sigma KEE - TelevisionReceiver

TelevisionReceiver(television receiver)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 384-386
No TPTP formula. May not be expressible in strict first order.	Communications.kif 381-381	Television receiver is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order.	Communications.kif 380-380	Television receiver is a subclass of receiver device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2097-2097	Apple TV is a subclass of television receiver
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57350-57350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57349-57349
No TPTP formula. May not be expressible in strict first order.	Communications.kif 383-383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57348-57348
No TPTP formula. May not be expressible in strict first order.	Communications.kif 382-382

antecedent

No TPTP formula. May not be expressible in strict first order.

Communications.kif 394-396

If an object is an instance of television receiver,
then the object is capable of doing television broadcasting as a patient

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 337-342	If an engineering component is an instance of cable television system, then there exists another engineering component such that the other engineering component is an instance of television receiver and the other engineering component is a component of the engineering component
No TPTP formula. May not be expressible in strict first order.	Communications.kif 387-392	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 receiver and the other engineering component is a component of the engineering component
No TPTP formula. May not be expressible in strict first order.	Communications.kif 349-356	If a collection is an instance of satellite tv, then there exist a physical and another physical such that the physical is an instance of artificial satellite and the physical is a member of the collection and the other physical is an instance of television receiver and the other physical is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Communications.kif 404-411	If an object is an instance of television set, then there exist another object and a third object such that the other object is an instance of television receiver and the third object is an instance of video display and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Communications.kif 418-426	If a physical is an instance of tv remote, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the physical is an agent of the entity and the entity ends up at the other entity and the other entity is an instance of television receiver

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