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 1213-1214
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1215-1215 subclass Speaking and LinguisticCommunication
(subclass Speaking Vocalizing) Mid-level-ontology.kif 1216-1216 subclass Speaking and Vocalizing

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


(subclass EmotionalSpeakingBehavior Speaking) emotion.kif 86-86 subclass EmotionalSpeakingBehavior and Speaking
(subclass Lecture Speaking) Mid-level-ontology.kif 13555-13555 subclass Lecture and Speaking
(subclass Reciting Speaking) Mid-level-ontology.kif 13600-13600 subclass Reciting and Speaking
(termFormat ChineseLanguage Speaking "说话") domainEnglishFormat.kif 54398-54398
(termFormat ChineseTraditionalLanguage Speaking "說話") domainEnglishFormat.kif 54397-54397
(termFormat EnglishLanguage Speaking "speaking") domainEnglishFormat.kif 54396-54396

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 23708-23721

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


(<=>
    (holdsDuring ?T
        (attribute ?P Mute))
    (not
        (exists (?S)
            (and
                (instance ?S Speaking)
                (during
                    (WhenFn ?S) ?T)
                (agent ?S ?P)))))
Mid-level-ontology.kif 28459-28467 holdsDuring TimeInterval and attribute Agent and Mute Process instance Process and Speaking during WhenFn Process and TimeInterval agent Process and 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 13570-13583
(=>
    (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