Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  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
-------------------------


(documentation Speaking EnglishLanguage "Any LinguisticCommunication by a Human which involves his/ her vocal cords.") Mid-level-ontology.kif 820-821
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 822-822 Speaking is a subclass of linguistic communication
(subclass Speaking Vocalizing) Mid-level-ontology.kif 823-823 Speaking is a subclass of vocalizing

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


(subclass Lecture Speaking) Mid-level-ontology.kif 17390-17390 Lecture is a subclass of speaking
(subclass Reciting Speaking) Mid-level-ontology.kif 17435-17435 Reciting is a subclass of speaking
(termFormat EnglishLanguage Speaking "speaking") domainEnglishFormat.kif 54469-54469 Reciting is a subclass of speaking
(termFormat ChineseTraditionalLanguage Speaking "說話") domainEnglishFormat.kif 54470-54470 Reciting is a subclass of speaking
(termFormat ChineseLanguage Speaking "说话") domainEnglishFormat.kif 54471-54471 Reciting is a subclass of speaking
(subclass EmotionalSpeakingBehavior Speaking) emotion.kif 86-86 Emotional speaking behavior is a subclass of speaking

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


(=>
    (and
        (instance ?S Speaking)
        (instance ?J Jaw)
        (agent ?S ?H)
        (part ?J ?H))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M BodyMotion)
                (objectTransferred ?M ?J)
                (during
                    (WhenFn ?M)
                    (WhenFn ?S)))) Likely))
Anatomy.kif 1697-1709 If X is an instance of speaking, Y is an instance of jaw, Z is an agent of X, and Y is a part of Z, then the statement there exists W such that W is an instance of body motion, the object transferred in W is Y, and the time of existence of W takes place during the time of existence of X has the modal force of likely
(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUVerbalStatus))
        (instance ?S Speaking)
        (destination ?S ?H)
        (during
            (WhenFn ?S) ?T))
    (exists (?IA)
        (and
            (instance ?IA IntentionalProcess)
            (agent ?IA ?H)
            (during
                (WhenFn ?IA) ?T)
            (causes ?S ?IA))))
Medicine.kif 6441-6453 If AVPU verbal status is an attribute of X holds during Y, Z is an instance of speaking, Z ends up at X, and the time of existence of Z takes place during Y, then there exists W such that W is an instance of intentional process, X is an agent of W, the time of existence of W takes place during Y, and Z causes W
(=>
    (and
        (attribute ?X Multilingual)
        (instance ?SPEAK Speaking)
        (agent ?SPEAK ?X))
    (modalAttribute
        (exists (?LANG1 ?LANG2)
            (and
                (instance ?LANG1 SpokenHumanLanguage)
                (instance ?LANG2 SpokenHumanLanguage)
                (not
                    (equal ?LANG1 ?LANG2))
                (or
                    (patient ?SPEAK ?LANG1)
                    (patient ?SPEAK ?LANG2)))) Possibility))
Mid-level-ontology.kif 28394-28407 If multilingual is an attribute of X, Y is an instance of speaking, and X is an agent of Y, then the statement there exist Z, W such that Z is an instance of spoken human language, W is an instance of spoken human language, equal Z, W, and Z is a patient of Y or W is a patient of Y has the modal force of possibility

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


(=>
    (instance ?TEL Telephoning)
    (exists (?SPEAK ?AGENT)
        (and
            (instance ?SPEAK Speaking)
            (subProcess ?SPEAK ?TEL)
            (=>
                (agent ?TEL ?AGENT)
                (agent ?SPEAK ?AGENT)))))
Mid-level-ontology.kif 3453-3461 If X is an instance of telephoning, then there exist Y, Z such that Y is an instance of speaking, Y is a subprocess of X, and Z is an agent of XZ is an agent of Y
(=>
    (and
        (instance ?COMMENTING Commenting)
        (instance ?PROCESS Process)
        (patient ?COMMENTING ?PROCESS))
    (exists (?AGENT ?SPEAKING ?LOOKING)
        (and
            (instance ?AGENT AutonomousAgent)
            (instance ?SPEAKING Speaking)
            (instance ?LOOKING Looking)
            (agent ?SPEAKING ?AGENT)
            (agent ?LOOKING ?AGENT)
            (patient ?LOOKING ?PROCESS)
            (refers ?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 17405-17418 If X is an instance of commenting, Y is an instance of process, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y
(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 32935-32943 Mute is an attribute of X holds during Y if, only if there doesn't exist Z such that Z is an instance of speaking, the time of existence of Z takes place during Y, and X is an agent of Z
(=>
    (attribute ?MR HipHopMusic)
    (modalAttribute
        (exists (?MM ?S)
            (and
                (record ?MR ?MM)
                (instance ?S Speaking)
                (subProcess ?S ?MM))) Likely))
Music.kif 729-736 If hip hop music is an attribute of X, then the statement there exist Y, Z such that X is a record of Y, Z is an instance of speaking, and Z is a subprocess of Y has the modal force of likely


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