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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Speaking
Speaking(说话)

VerbNet: lecture-37.11|preach, dub-29.3|pronounce, say-37.7|blurt, say-37.7|blurt, say-37.7|blurt, say-37.7|blurt, manner_speaking-37.3|stutter, sustain-55.6|carry_on, sustain-55.6|carry_on, chit_chat-37.6|converse, chit_chat-37.6|converse, say-37.7|repeat, say-37.7|blurt, dub-29.3|pronounce, dub-29.3|pronounce, manner_speaking-37.3|stutter, chit_chat-37.6|yak, sustain-55.6|carry_on, manner_speaking-37.3|mutter, talk-37.5|talk, manner_speaking-37.3|mutter, sound_emission-43.2|murmur, manner_speaking-37.3|mutter, manner_speaking-37.3|mutter, say-37.7|vocalize, lecture-37.11|preach, sustain-55.6|carry_on, dub-29.3|pronounce, say-37.7|repeat, manner_speaking-37.3|thunder, say-37.7|say, manner_speaking-37.3|snarl, manner_speaking-37.3|snarl, dub-29.3|pronounce, manner_speaking-37.3|stutter, manner_speaking-37.3|stutter, manner_speaking-37.3|thunder, talk-37.5|talk, manner_speaking-37.3|whisper, chit_chat-37.6|yak,


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


(documentation Speaking ChineseLanguage "这是 Human 使用他/她的声带的任何 LinguisticCommunication。") chinese_format.kif 3004-3005
(documentation Speaking EnglishLanguage "Any LinguisticCommunication by a Human which involves his/ her vocal cords.") Mid-level-ontology.kif 1213-1214
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1215-1215 说话语言交流subclass
(subclass Speaking Vocalizing) Mid-level-ontology.kif 1216-1216 说话发声subclass

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


(subclass EmotionalSpeakingBehavior Speaking) emotion.kif 86-86 EmotionalSpeakingBehavior说话subclass
(subclass Lecture Speaking) Mid-level-ontology.kif 13553-13553 演讲说话subclass
(subclass Reciting Speaking) Mid-level-ontology.kif 13598-13598 背诵说话subclass
(termFormat ChineseLanguage Speaking "说话") domainEnglishFormat.kif 54388-54388
(termFormat ChineseTraditionalLanguage Speaking "說話") domainEnglishFormat.kif 54387-54387
(termFormat EnglishLanguage Speaking "speaking") domainEnglishFormat.kif 54386-54386

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


(=>
    (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 23702-23715

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


(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 28451-28459 Mute 施事体attribute 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程说话instance那个 过程 出现 的 time那个 时距 时段内发生 和 那个 施事体那个 过程agent
(=>
    (and
        (instance ?COMMENTING Commenting)
        (instance ?PROCESS Process)
        (patient ?COMMENTING ?PROCESS))
    (exists (?AGENT ?SPEAKING ?LOOKING)
        (and
            (instance ?AGENT Agent)
            (instance ?SPEAKING Speaking)
            (instance ?LOOKING Looking)
            (agent ?SPEAKING ?AGENT)
            (agent ?LOOKING ?AGENT)
            (patient ?LOOKING ?PROCESS)
            (refers ?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 13568-13581
(=>
    (attribute ?MR HipHopMusic)
    (modalAttribute
        (exists (?MM ?S)
            (and
                (record ?MR ?MM)
                (instance ?S Speaking)
                (subProcess ?S ?MM))) Likely))
Music.kif 723-730
(=>
    (instance ?TEL Telephoning)
    (exists (?SPEAK)
        (and
            (instance ?SPEAK Speaking)
            (subProcess ?SPEAK ?TEL)
            (=>
                (agent ?TEL ?AGENT)
                (agent ?SPEAK ?AGENT)))))
Mid-level-ontology.kif 3462-3470


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