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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VoiceMail
  fathersBrothersWife

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 27080-27081
(subclass VoiceMail AudioRecording) Mid-level-ontology.kif 27079-27079 Voice mail is a subclass of audio recording

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


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

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


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


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