| appearance as argument number 1 |
|
| (documentation VHSCassette EnglishLanguage "An instance of VHSCassette is a VideoCassette in which data is encoded in the VHS format.") | Media.kif 1375-1377 | |
| (subclass VHSCassette VideoCassette) | Media.kif 1382-1382 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VHSCassette "VHS cassette") | domainEnglishFormat.kif 65675-65675 |
| consequent |
|
|
| (=> (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 |
|
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