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 817-818
(documentation Speaking JapaneseLanguage "彼/彼女の声帯を含む Human による任意の LinguisticCommunication") japanese_format.kif 1767-1768
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 819-819 SpeakingLinguisticCommunicationsubclass では
(subclass Speaking Vocalizing) Mid-level-ontology.kif 820-820 SpeakingVocalizingsubclass では

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


(subclass EmotionalSpeakingBehavior Speaking) emotion.kif 86-86 EmotionalSpeakingBehaviorSpeakingsubclass では
(subclass Lecture Speaking) Mid-level-ontology.kif 17259-17259 LectureSpeakingsubclass では
(subclass Reciting Speaking) Mid-level-ontology.kif 17304-17304 RecitingSpeakingsubclass では
(termFormat ChineseLanguage Speaking "说话") domainEnglishFormat.kif 54478-54478 RecitingSpeakingsubclass では
(termFormat ChineseTraditionalLanguage Speaking "說話") domainEnglishFormat.kif 54477-54477 RecitingSpeakingsubclass では
(termFormat EnglishLanguage Speaking "speaking") domainEnglishFormat.kif 54476-54476 RecitingSpeakingsubclass では

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 27646-27659
(=>
    (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 6465-6477
(=>
    (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 1699-1711

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


(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 32189-32197 Mute AutonomousAgentattribute では は 時間間隔during holds 工程 工程Speakinginstance では 工程time の existence は 時間間隔during に takes AutonomousAgent 工程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 17274-17287
(=>
    (attribute ?MR HipHopMusic)
    (modalAttribute
        (exists (?MM ?S)
            (and
                (record ?MR ?MM)
                (instance ?S Speaking)
                (subProcess ?S ?MM))) Likely))
Music.kif 729-736
(=>
    (instance ?TEL Telephoning)
    (exists (?SPEAK ?AGENT)
        (and
            (instance ?SPEAK Speaking)
            (subProcess ?SPEAK ?TEL)
            (=>
                (agent ?TEL ?AGENT)
                (agent ?SPEAK ?AGENT)))))
Mid-level-ontology.kif 3436-3444


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