consequent

(=>     (instance ?PLAYER MediaSystem)     (hasPurpose ?PLAYER         (or             (exists (?VIDEO ?RL)                 (and                     (instance ?VIDEO VideoRecording)                     (instance ?RL RadiatingLight)                     (patient ?RL ?VIDEO)                     (instrument ?RL ?PLAYER)))             (exists (?AUDIO ?RS)                 (and                     (instance ?AUDIO AudioRecording)                     (instance ?RS RadiatingSound)                     (patient ?RS ?AUDIO)                     (instrument ?RS ?PLAYER))))))	Mid-level-ontology.kif 15977-15992	If X is an instance of media system, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of video recording (3) Z is an instance of radiating light (4) Y is a patient of Z (5) X is an instrument for Z or there exist W (6) V such that W is an instance of audio recording (7) V is an instance of radiating sound (8) W is a patient of V (9) X is an instrument for V
(=>     (instance ?GAME VideoGame)     (exists (?VIDEO)         (and             (instance ?VIDEO VideoRecording)             (represents ?VIDEO ?GAME))))	Mid-level-ontology.kif 28544-28549	If X is an instance of videogame, then there exists Y such that Y is an instance of video recording and Y expresses X
(=>     (instance ?X MultimediaProjector)     (hasPurpose ?X         (exists (?RS ?SCREEN ?VIDEO)             (and                 (instance ?RS RadiatingLight)                 (instrument ?RS ?X)                 (patient ?RS ?VIDEO)                 (or                     (instance ?VIDEO VideoRecording)                     (instance ?VIDEO Image))                 (destination ?RS ?SCREEN)                 (instance ?SCREEN Artifact)                 (attribute ?SCREEN Flat)                 (not                     (connected ?X ?SCREEN))))))	Mid-level-ontology.kif 28896-28910	If X is an instance of multimedia projector, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radiating light (3) X is an instrument for Y (4) W is a patient of Y (5) W is an instance of video recording or W is an instance of image (6) Y ends up at Z (7) Z is an instance of artifact (8) flat is an attribute of Z (9) X is not connected to Z
(=>     (instance ?X VideoDisplay)     (hasPurpose ?X         (exists (?RL ?VIDEO)             (and                 (instance ?RL RadiatingLight)                 (instance ?VIDEO VideoRecording)                 (patient ?RL ?VIDEO)                 (instrument ?RL ?X)))))	Mid-level-ontology.kif 28934-28942	If X is an instance of video display, then X has the purpose there exist Y, Z such that Y is an instance of radiating light, Z is an instance of video recording, Z is a patient of Y, and X is an instrument for Y
(=>     (instance ?PLAYER MediaAppliance)     (hasPurpose ?PLAYER         (or             (exists (?VIDEO ?RL)                 (and                     (instance ?VIDEO VideoRecording)                     (instance ?RL RadiatingVisibleLight)                     (patient ?RL ?VIDEO)                     (instrument ?RL ?PLAYER)))             (exists (?AUDIO ?RS)                 (and                     (instance ?AUDIO AudioRecording)                     (instance ?RS RadiatingSound)                     (attribute ?RS Audible)                     (patient ?RS ?AUDIO)                     (instrument ?RS ?PLAYER))))))	HouseholdAppliances.kif 337-353	If X is an instance of media appliance, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of video recording (3) Z is an instance of radiating visible light (4) Y is a patient of Z (5) X is an instrument for Z or there exist W (6) V such that W is an instance of audio recording (7) V is an instance of radiating sound (8) audible is an attribute of V (9) W is a patient of V (10) X is an instrument for V
(=>     (instance ?DEVICE SetTopBox)     (hasPurpose ?DEVICE         (exists (?TV ?SIGNAL ?VIDEO)             (and                 (instance ?TV TelevisionSet)                 (instance ?SIGNAL Signalling)                 (instance ?VIDEO VideoRecording)                 (represents ?SIGNAL ?VIDEO)                 (instrument ?SIGNAL ?DEVICE)                 (patient ?SIGNAL ?TV)))))	HouseholdAppliances.kif 401-411	If X is an instance of set_top box, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of television set (3) Z is an instance of signalling (4) W is an instance of video recording (5) Z expresses W (6) X is an instrument for Z (7) Y is a patient of Z
(=>     (instance ?DEVICE ComputerScreen)     (hasPurpose ?DEVICE         (exists (?RL ?VIDEO ?SIGNAL ?COMPUTER)             (and                 (instance ?RL RadiatingVisibleLight)                 (instance ?VIDEO VideoRecording)                 (instance ?SIGNAL Signalling)                 (instance ?COMPUTER Computer)                 (instrument ?RL ?DEVICE)                 (represents ?RL ?VIDEO)                 (agent ?SIGNAL ?COMPUTER)                 (patient ?SIGNAL ?DEVICE)                 (represents ?SIGNAL ?VIDEO)))))	HouseholdAppliances.kif 525-538	If X is an instance of computer screen, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of radiating visible light (3) Z is an instance of video recording (4) W is an instance of signalling (5) V is an instance of computer (6) X is an instrument for Y (7) Y expresses Z (8) V is an agent of W (9) X is a patient of W (10) W expresses Z
(=>     (instance ?X DVDSystem)     (hasPurpose ?X         (exists (?DVD ?PROC)             (and                 (instance ?DVD DVD)                 (instrument ?PROC ?X)                 (patient ?PROC ?DVD)                 (or                     (exists (?VIDEO ?DVIDEO ?RL)                         (and                             (instance ?VIDEO VideoRecording)                             (represents ?DVIDEO ?VIDEO)                             (part ?DVIDEO ?DVD)                             (instance ?RL RadiatingLight)                             (subProcess ?RL ?PROC)                             (instrument ?RL ?X)                             (patient ?RL ?VIDEO)))                     (exists (?AUDIO ?DAUDIO ?RS)                         (and                             (instance ?AUDIO AudioRecording)                             (represents ?DAUDIO ?AUDIO)                             (part ?DAUDIO ?DVD)                             (instance ?RS RadiatingSound)                             (subProcess ?RS ?PROC)                             (instrument ?RS ?X)                             (patient ?RS ?AUDIO))))))))	Media.kif 1277-1303	If X is an instance of dvd player, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of DVD (3) X is an instrument for Z (4) Y is a patient of Z (5) there exist W, V (6) U such that W is an instance of video recording (7) V expresses W (8) V is a part of Y (9) U is an instance of radiating light (10) U is a subprocess of Z (11) X is an instrument for U (12) W is a patient of U or there exist T, S (13) R such that T is an instance of audio recording (14) S expresses T (15) S is a part of Y (16) R is an instance of radiating sound (17) R is a subprocess of Z (18) X is an instrument for R (19) T is a patient of R
(=>     (instance ?VCR VCRSystem)     (hasPurpose ?VCR         (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)             (and                 (instance ?VHS VHSCassette)                 (instrument ?PROC ?VCR)                 (patient ?PROC ?VHS)                 (instance ?VIDEO VideoRecording)                 (represents ?AVIDEO ?VIDEO)                 (part ?VIDEO ?VHS)                 (instance ?AUDIO AudioRecording)                 (represents ?AAUDIO ?AUDIO)                 (part ?AAUDIO ?AVIDEO)                 (part ?AUDIO ?VHS)                 (instance ?RL RadiatingLight)                 (patient ?RL ?VIDEO)                 (subProcess ?RL ?PROC)                 (instance ?RS RadiatingSound)                 (patient ?RS ?AUDIO)                 (subProcess ?RS ?PROC)))))	Media.kif 1389-1409	If X is an instance of vcr system, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U,, , T,, , S (2) R such that Y is an instance of VHS cassette (3) X is an instrument for Z (4) Y is a patient of Z (5) W is an instance of video recording (6) V expresses W (7) W is a part of Y (8) T is an instance of audio recording (9) S expresses T (10) S is a part of V (11) T is a part of Y (12) U is an instance of radiating light (13) W is a patient of U (14) U is a subprocess of Z (15) R is an instance of radiating sound (16) T is a patient of R (17) R is a subprocess 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 is open source software produced by Articulate Software and its partners