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 1207-1208
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1209-1209 说话语言交流subclass
(subclass Speaking Vocalizing) Mid-level-ontology.kif 1210-1210 说话发声subclass

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


(subclass EmotionalSpeakingBehavior Speaking) emotion.kif 86-86 EmotionalSpeakingBehavior说话subclass
(subclass Lecture Speaking) Mid-level-ontology.kif 13527-13527 演讲说话subclass
(subclass Reciting Speaking) Mid-level-ontology.kif 13572-13572 背诵说话subclass
(termFormat ChineseLanguage Speaking "说话") domainEnglishFormat.kif 54409-54409 "说话" 是 说话printable formChineseLanguage
(termFormat ChineseTraditionalLanguage Speaking "說話") domainEnglishFormat.kif 54408-54408 "說話" 是 说话printable formChineseTraditionalLanguage
(termFormat EnglishLanguage Speaking "speaking") domainEnglishFormat.kif 54407-54407 "speaking" 是 说话printable form英语

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 23665-23678

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


(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 28415-28423 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 13542-13555
(=>
    (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 3456-3464


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