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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerDisplay

Sigma KEE - TelevisionStation
TelevisionStation(television station)TV_station, television, television_station, television_system, television_transmitter

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Communications.kif 324-325
No TPTP formula. May not be expressible in strict first order. Communications.kif 323-323 Television station is a component of television system
No TPTP formula. May not be expressible in strict first order. Communications.kif 322-322 Television station is a subclass of broadcasting station

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57358-57358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57357-57357
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57356-57356

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Communications.kif 225-229
No TPTP formula. May not be expressible in strict first order. Communications.kif 326-331


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