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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VoiceMail
VoiceMail(voice mail)voice_mail, voicemail

appearance as argument number 1
-------------------------


(documentation VoiceMail EnglishLanguage "VoiceMail refers to an AudioRecording that is done through the TelephoneSystem") Mid-level-ontology.kif 27356-27357
(subclass VoiceMail AudioRecording) Mid-level-ontology.kif 27355-27355 Voice mail is a subclass of audio recording

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


(termFormat EnglishLanguage VoiceMail "voice mail") domainEnglishFormat.kif 65758-65758

antecedent
-------------------------


(=>
    (instance ?X VoiceMail)
    (exists (?TEL)
        (and
            (instance ?TEL TelephoneCommunication)
            (patient ?TEL ?X))))
Mid-level-ontology.kif 27359-27364


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