consequent

(=>     (instance ?VIDEO VideoRecording)     (modalAttribute         (exists (?AUDIO)             (and                 (instance ?AUDIO AudioRecording)                 (part ?AUDIO ?VIDEO))) Possibility))	Mid-level-ontology.kif 15963-15969	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 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 ?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 28917-28927	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 1211-1225	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 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 ?X TapeRecorder)     (hasPurpose ?X         (exists (?AUDIO ?TAPE ?PROC)             (and                 (instance ?PROC IntentionalProcess)                 (instrument ?PROC ?X)                 (result ?PROC ?AUDIO)                 (instance ?AUDIO AudioRecording)                 (instance ?TAPE RecordingTape)                 (holdsDuring ?PROC                     (connected ?TAPE ?X))                 (before                     (BeginFn                         (WhenFn ?PROC))                     (BeginFn                         (WhenFn                             (part ?AUDIO ?TAPE))))))))	Media.kif 1338-1352	If X is an instance of tape recorder, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of intentional process (3) X is an instrument for W (4) Y is a result of W (5) Y is an instance of audio recording (6) Z is an instance of recording tape (7) Z is connected to X holds during W (8) the beginning of the time of existence of W happens before the beginning of the time of existence of Y is a part of Z
(=>     (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