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 e' uma sub-classe de CommunicationSystem

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 294-294 AMRadioStation e' um componente de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 299-299 FMRadioStation e' um componente de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 289-289 RadioStation e' um componente de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 304-304 ShortwaveRadioStation e' um componente de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AMRadioSystem e' uma sub-classe de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 251-251 BabyMonitoringSystem e' uma sub-classe de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 241-241 FMRadioSystem e' uma sub-classe de RadioSystem
No TPTP formula. May not be expressible in strict first order. Communications.kif 246-246 ShortwaveRadioSystem e' uma sub-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