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 RadioSystem est une sous-classe de CommunicationSystem

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 294-294 AMRadioStation est un composant de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 299-299 FMRadioStation est un composant de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 289-289 RadioStation est un composant de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 304-304 ShortwaveRadioStation est un composant de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AMRadioSystem est une sous-classe de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 251-251 BabyMonitoringSystem est une sous-classe de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 241-241 FMRadioSystem est une sous-classe de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 246-246 ShortwaveRadioSystem est une sous-classe de RadioSystem
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