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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioSystem

 Sigma KEE - RadioSystem
RadioSystem(无线电系统)

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 无线电系统 是 通讯系统 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 294-294 AM广播电台 是 无线电系统 的 component
No TPTP formula. May not be expressible in strict first order. Communications.kif 299-299 调频广播电台 是 无线电系统 的 component
No TPTP formula. May not be expressible in strict first order. Communications.kif 289-289 广播电台 是 无线电系统 的 component
No TPTP formula. May not be expressible in strict first order. Communications.kif 304-304 短波电台 是 无线电系统 的 component
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AM无线电系统 是 无线电系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 251-251 BabyMonitoringSystem 是 无线电系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 241-241 调频广播系统 是 无线电系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 246-246 短波无线电系统 是 无线电系统 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48554-48554
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48553-48553
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48552-48552

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