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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Speaking
Speaking(speaking)accost, 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 11100-11101
s__documentation(s__Speaking,s__EnglishLanguage,'Any LinguisticCommunication by a Human which involves his/ her vocal cords.')

Merge.kif 11098-11099
s__instance(s__Speaking,s__SetOrClass)

s__instance(s__LinguisticCommunication,s__SetOrClass)

s__subclass(s__Speaking,s__LinguisticCommunication)

Mid-level-ontology.kif 1213-1213 Speaking is a subclass of linguistic communication
s__instance(s__Speaking,s__SetOrClass)

s__instance(s__Vocalizing,s__SetOrClass)

s__subclass(s__Speaking,s__Vocalizing)

Mid-level-ontology.kif 1214-1214 Speaking is a subclass of vocalizing

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


s__instance(s__Lecture,s__SetOrClass)

s__instance(s__Speaking,s__SetOrClass)

s__subclass(s__Lecture,s__Speaking)

Mid-level-ontology.kif 13528-13528 Lecture is a subclass of speaking
s__subclass(s__Reciting,s__Speaking)

s__instance(s__Speaking,s__SetOrClass)

s__instance(s__Reciting,s__SetOrClass)

Mid-level-ontology.kif 13573-13573 Reciting is a subclass of speaking
s__termFormat(s__EnglishLanguage,s__Speaking,'speaking')

domainEnglishFormat.kif 9502-9502 "speaking" is the printable form of speaking in english language

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28418-28426 Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
( ! [V__COMMENTING,V__PROCESS] :
   ((s__instance(V__COMMENTING,s__Commenting)s__and__ms__instance(V__PROCESS,s__Process)s__and__ms__patient(V__COMMENTING,V__PROCESS))
  s__=>(s__exists__m[V__AGENT,V__SPEAKING,V__LOOKING] :
     (s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__SPEAKING,s__Speaking)s__and__ms__instance(V__LOOKING,s__Looking)s__and__ms__agent(V__SPEAKING,V__AGENT)
    s__and__ms__agent(V__LOOKING,V__AGENT)
  s__and__ms__patient(V__LOOKING,V__PROCESS)
s__and__ms__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__AGENT,V__TEL] :
   (s__instance(V__AGENT,s__Agent)s__=>(s__instance(V__TEL,s__Telephoning)s__=>(s__exists__m[V__SPEAK] :
         (s__instance(V__SPEAK,s__Speaking)s__and__ms__subProcess(V__SPEAK,V__TEL)
        s__and__m(s__agent(V__TEL,V__AGENT)
      s__=>s__agent(V__SPEAK,V__AGENT))))))
)

Mid-level-ontology.kif 3460-3468


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