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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VoiceMail

Sigma KEE - VoiceMail
VoiceMail

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


(documentation VoiceMail EnglishLanguage "VoiceMail refers to an AudioRecording that is done through the TelephoneSystem") Mid-level-ontology.kif 27125-27126
(subclass VoiceMail AudioRecording) Mid-level-ontology.kif 27124-27124 VoiceMail e' uma sub-classe de AudioRecording

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


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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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