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


KB Term:  Term intersection
English Word: 

Sigma KEE - VideoGamePlayer
VideoGamePlayer(video game player)

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


(subclass VideoGamePlayer MediaSystem) Mid-level-ontology.kif 28455-28455 Video game player is a subclass of media system
(documentation VideoGamePlayer EnglishLanguage "VideoGamePlayer is a MediaSystem that enables the playing of a VideoGame") Mid-level-ontology.kif 28456-28457 Video game player is a subclass of media system
(defaultMinimumHeight VideoGamePlayer
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 252-252 The minimum expected height of video game player is 2 inch(s)
(defaultMaximumHeight VideoGamePlayer
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 253-253 The maximum expected height of video game player is 4 inch(s)
(defaultMinimumWidth VideoGamePlayer
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 254-254 The minimum expected width of video game player is 6 inch(s)
(defaultMaximumWidth VideoGamePlayer
    (MeasureFn 13 Inch))		 DimensioningAmenities.kif 255-255 The maximum expected width of video game player is 13 inch(s)
(defaultMinimumLength VideoGamePlayer
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 256-256 The minimum expected length of video game player is 8 inch(s)
(defaultMaximumLength VideoGamePlayer
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 257-257 The maximum expected length of video game player is 11 inch(s)
(defaultMinimumMeasure VideoGamePlayer
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 258-258 The minimum expected value of video game player is 3 pound mass(s)
(defaultMaximumMeasure VideoGamePlayer
    (MeasureFn 15 PoundMass))		 DimensioningAmenities.kif 259-259 The maximum expected value of video game player is 15 pound mass(s)

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


(termFormat EnglishLanguage VideoGamePlayer "video game player") Mid-level-ontology.kif 28458-28458

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


(=>
    (instance ?X VideoGamePlayer)
    (hasPurpose ?X
        (exists (?GAME ?RL ?MOVE ?CONTROLLER ?PLAYER)
            (and
                (instance ?GAME VideoGame)
                (instrument ?GAME ?X)
                (agent ?GAME ?PLAYER)
                (instance ?MOVE Maneuver)
                (instrument ?MOVE ?CONTROLLER)
                (agent ?MOVE ?PLAYER)
                (subProcess ?MOVE ?GAME)
                (part ?CONTROLLER ?X)
                (instance ?RL RadiatingLight)
                (agent ?RL ?X)
                (patient ?RL ?GAME)))))		 Mid-level-ontology.kif 28460-28475 If X is an instance of video game player, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of videogame (3) X is an instrument for Y (4) U is an agent of Y (5) W is an instance of maneuver (6) V is an instrument for W (7) U is an agent of W (8) W is a subprocess of Y (9) V is a part of X (10) Z is an instance of radiating light (11) X is an agent of Z (12) Y is a patient of Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners