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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Messaging
Messaging(messaging)transmission, transmittal, transmitting

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


s__documentation(s__Messaging,s__EnglishLanguage,'"Any instance of Transfer where a Message is the patient."')

Mid-level-ontology.kif 6218-6219
s__instance(s__Transfer,s__SetOrClass)

s__instance(s__Messaging,s__SetOrClass)

s__subclass(s__Messaging,s__Transfer)

Mid-level-ontology.kif 6217-6217 Messaging is a subclass of transfer

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


s__instance(s__Messaging,s__SetOrClass)

s__instance(s__NetworkMessaging,s__SetOrClass)

s__subclass(s__NetworkMessaging,s__Messaging)

ComputingBrands.kif 4139-4139 Network messaging is a subclass of messaging
s__termFormat(s__ChineseLanguage,s__Messaging,'"讯息"')

domainEnglishFormat.kif 37206-37206
s__termFormat(s__ChineseTraditionalLanguage,s__Messaging,'"訊息"')

domainEnglishFormat.kif 37205-37205
s__termFormat(s__EnglishLanguage,s__Messaging,'"messaging"')

domainEnglishFormat.kif 37204-37204

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


( ! [V__TELEX,V__M,V__MSG] :
   (((s__destination(V__MSG,V__TELEX)
       &
       s__instance(V__MSG,s__Messaging) &
       s__patient(V__MSG,V__M)
     &
     s__instance(V__TELEX,s__Telex))
   =>
   (( ? [V__PROC, V__TEXT] :
       ((s__instance(V__PROC,s__Process) &
           (s__instrument(V__PROC,V__TELEX)
           &
           s__result(V__PROC,V__TEXT)
         &
         s__represents(V__TEXT,V__M)
       &
       s__instance(V__TEXT,s__Text) &
       s__before(s__BeginFn(s__WhenFn(V__MSG))
  ,s__BeginFn(s__WhenFn(V__PROC)))))))))
)
)

Communications.kif 202-214
( ! [V__MESSAGING] :
   ((s__instance(V__MESSAGING,s__Messaging) =>
       (( ? [V__M] :
           ((s__instance(V__M,s__Message) &
               s__patient(V__MESSAGING,V__M))))))
   )
)

Mid-level-ontology.kif 6221-6226

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Communications.kif 185-200


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