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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Speaking
Speaking(说话)

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 824-825
(documentation Speaking JapaneseLanguage "彼/彼女の声帯を含む Human による任意の LinguisticCommunication") japanese_format.kif 1767-1768
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 826-826 说话语言交流subclass
(subclass Speaking Vocalizing) Mid-level-ontology.kif 827-827 说话发声subclass

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


(subclass EmotionalSpeakingBehavior Speaking) emotion.kif 86-86 EmotionalSpeakingBehavior说话subclass
(subclass Lecture Speaking) Mid-level-ontology.kif 15872-15872 演讲说话subclass
(subclass Reciting Speaking) Mid-level-ontology.kif 15917-15917 背诵说话subclass
(termFormat ChineseLanguage Speaking "说话") domainEnglishFormat.kif 54474-54474
(termFormat ChineseTraditionalLanguage Speaking "說話") domainEnglishFormat.kif 54473-54473
(termFormat EnglishLanguage Speaking "speaking") domainEnglishFormat.kif 54472-54472

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 25748-25761
(=>
    (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 6447-6459
(=>
    (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 1664-1676

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


(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 30271-30279 Mute 施事体attribute 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程说话instance那个 过程 出现 的 time那个 时距 时段内发生 和 那个 施事体那个 过程agent
(=>
    (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 15887-15900
(=>
    (attribute ?MR HipHopMusic)
    (modalAttribute
        (exists (?MM ?S)
            (and
                (record ?MR ?MM)
                (instance ?S Speaking)
                (subProcess ?S ?MM))) Likely))
Music.kif 727-734
(=>
    (instance ?TEL Telephoning)
    (exists (?SPEAK ?AGENT)
        (and
            (instance ?SPEAK Speaking)
            (subProcess ?SPEAK ?TEL)
            (=>
                (agent ?TEL ?AGENT)
                (agent ?SPEAK ?AGENT)))))
Mid-level-ontology.kif 2973-2981


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