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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VHSCassette
VHSCassette

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 1373-1375
(subclass VHSCassette VideoCassette) Media.kif 1380-1380 VHSCassette è una sottoclasse di VideoCassette

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


(termFormat EnglishLanguage VHSCassette "VHS cassette") domainEnglishFormat.kif 65683-65683

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 1387-1407


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