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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MediaSystem

Sigma KEE - MediaSystem
MediaSystem(media system)audio_system, audiovisual, audiovisual_aid, iPod, sound_system, video_iPod

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14450-14452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14449-14449 Media system is a subclass of collection

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 817-817 IPod is a subclass of media system
No TPTP formula. May not be expressible in strict first order. Media.kif 1204-1204 Cd player is a subclass of media system
No TPTP formula. May not be expressible in strict first order. Media.kif 1269-1269 Dvd player is a subclass of media system
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26224-26224 Multimedia projector is a subclass of media system
No TPTP formula. May not be expressible in strict first order. Media.kif 1382-1382 Vcr system is a subclass of media system
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25883-25883 Video game player is a subclass of media system
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14453-14453

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14455-14470

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1506-1519


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