consequent

(=>     (instance ?VIDEO VideoRecording)     (modalAttribute         (exists (?AUDIO)             (and                 (instance ?AUDIO AudioRecording)                 (part ?AUDIO ?VIDEO))) Possibility))	Mid-level-ontology.kif 16046-16052	If X is an instance of video recording, then the statement there exists Y such that Y is an instance of audio recording and Y is a part of X has the modal force of possibility
(=>     (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 16060-16075	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 ?X AudioRecorder)     (hasPurpose ?X         (exists (?RS ?RECORD ?PROC)             (and                 (instance ?RS RadiatingSound)                 (instance ?PROC IntentionalProcess)                 (instrument ?PROC ?X)                 (patient ?PROC ?RS)                 (result ?PROC ?RECORD)                 (instance ?RECORD AudioRecording)))))	Mid-level-ontology.kif 28807-28817	If X is an instance of audio recorder, 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 sound (3) W is an instance of intentional process (4) X is an instrument for W (5) Y is a patient of W (6) Z is a result of W (7) Z is an instance of audio recording
(=>     (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 ?PLAYER AudioCDSystem)     (hasPurpose ?PLAYER         (exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC)             (and                 (instrument ?PROC ?PLAYER)                 (patient ?PROC ?DISC)                 (instance ?DISC CompactDisc)                 (instance ?AUDIO AudioRecording)                 (represents ?DIGITAL ?AUDIO)                 (part ?DIGITAL ?DISC)                 (instance ?RS RadiatingSound)                 (subProcess ?RS ?PROC)                 (instrument ?RS ?PLAYER)                 (patient ?RS ?DISC)))))	Media.kif 1156-1170	If X is an instance of cd player, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that X is an instrument for U (3) Y is a patient of U (4) Y is an instance of compact disc (5) Z is an instance of audio recording (6) V expresses Z (7) V is a part of Y (8) W is an instance of radiating sound (9) W is a subprocess of U (10) X is an instrument for W (11) Y is a patient of W
(=>     (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 1222-1248	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 1334-1354	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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners