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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Speaking

Sigma KEE - Speaking
Speakingaccost, address, advocate, articulate, blunder, blunder_out, blurt, blurt_out, bumble, call_out, carry_on, clamor, clamour, come_up_to, continue, conversation, converse, dialog, dialogue, discourse, discuss, drop, duologue, echo, ejaculate, enounce, enunciate, falter, gab, go_on, harangue, hash_out, heart-to-heart, language, maunder, mouth, mumble, murmur, mussitate, mutter, nasalise, nasalize, oral, oral_communication, orthoepy, peep, phonate, preach, proceed, pronounce...

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


s__documentation(s__Speaking,s__ChineseLanguage,'这是 Human 使用他/她的声带的任何 LinguisticCommunication。')

Merge.kif 11042-11043
s__documentation(s__Speaking,s__EnglishLanguage,'Any LinguisticCommunication by a Human which involves his/her vocal cords.')

Merge.kif 11040-11041
s__subclass(s__Speaking,s__LinguisticCommunication)

Mid-level-ontology.kif 1213-1213
s__instance(s__Vocalizing,s__SetOrClass)

Mid-level-ontology.kif 1214-1214

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


s__instance(s__Speaking,s__SetOrClass)

emotion.kif 86-86
s__instance(s__Speaking,s__SetOrClass)

Mid-level-ontology.kif 13528-13528
s__instance(s__Speaking,s__SetOrClass)

Mid-level-ontology.kif 13573-13573
s__termFormat(s__EnglishLanguage,s__Speaking,'speaking')

domainEnglishFormat.kif 9502-9502

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23584-23597

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28338-28346
( ∀ [V__COMMENTING,V__PROCESS]
   ((s__instance(V__COMMENTING,s__Commenting) ∧
       s__instance(V__PROCESS,s__Process) ∧
       s__patient(V__COMMENTING,V__PROCESS))
   ⇒
   (∃ [V__AGENT,V__SPEAKING,V__LOOKING]
     (s__instance(V__AGENT,s__Agent) ∧
       s__instance(V__SPEAKING,s__Speaking) ∧
       s__instance(V__LOOKING,s__Looking) ∧
       s__agent(V__SPEAKING,V__AGENT)
     ∧
     s__agent(V__LOOKING,V__AGENT)
   ∧
   s__patient(V__LOOKING,V__PROCESS)

s__refers(V__SPEAKING,V__PROCESS))))
)

Mid-level-ontology.kif 13543-13556
No TPTP formula. May not be expressible in strict first order. Music.kif 729-736
( ∀ [V__TEL,V__AGENT]
   (s__instance(V__TEL,s__Telephoning) ⇒
     (∃ [V__SPEAK]
       (s__instance(V__SPEAK,s__Speaking) ∧
         s__subProcess(V__SPEAK,V__TEL)
       ∧
       (s__agent(V__TEL,V__AGENT)
       ⇒
       s__agent(V__SPEAK,V__AGENT)))))
)

Mid-level-ontology.kif 3460-3468


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners