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(電視接收器)

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	子類電視接收器 and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 380-380	子類電視接收器 and 接收器設備

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2097-2097	子類蘋果 TV and 電視接收器
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

例 Object and 電視接收器
能力電視廣播, 患者 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 337-342	例 EngineeringComponent and 有線電視系統 EngineeringComponent 例 EngineeringComponent and 電視接收器工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 387-392	例 EngineeringComponent and 電視系統 EngineeringComponent 例 EngineeringComponent and 電視接收器工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 349-356	例 Collection and SatelliteTelevisionSystem Physical Physical 例 Physical and 人造衛星會員 Physical and Collection 例 Physical and 電視接收器會員 Physical and Collection
No TPTP formula. May not be expressible in strict first order.	Communications.kif 404-411	例 Object and TelevisionSet Object Object 例 Object and 電視接收器例 Object and VideoDisplay 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Communications.kif 418-426	例 Physical and TVRemoteControl 有目的 Physical and entity entity 例 entity and 電子信號 agent entity and Physical 目的地 entity and entity 例 entity and 電視接收器

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