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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticCommunication
LinguisticCommunication(linguistic communication)advised, allegorically, antiphonal, apopemptic, articulation, bit, broad, by_word_of_mouth, cast, catachrestic, catachrestical, causerie, chanted, chattily, chin-wag, chin-wagging, chin_wag, chin_wagging, chit-chat, chit_chat, chitchat, clipped, colloquial, colloquially, common, contact, conversational, conversationally, convey, couch, en_clair, explicit, expressed, fill_in, formal, frame, gab, gabfest, get_hold_of, get_through, give, gossip, impart, implicit, in_a_low_voice, inexplicit, informal, informally, informatively, instructively...

VerbNet: characterize-29.2|cast, say-37.7|convey, characterize-29.2|cast, characterize-29.2|cast, future_having-13.3|leave, future_having-13.3|leave, future_having-13.3|leave, future_having-13.3|leave, characterize-29.2|portray, characterize-29.2|cast, characterize-29.2|cast, transfer_mesg-37.1.1|tell,


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


(documentation LinguisticCommunication ChineseLanguage "这是一种用 LinguisticExpression 来交换信息的 Communication。") chinese_format.kif 3256-3257
(documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") Merge.kif 12150-12151
(subclass LinguisticCommunication Communication) Merge.kif 12149-12149 Linguistic communication is a subclass of communication

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


(subclass Committing LinguisticCommunication) Merge.kif 12244-12244 Committing is a subclass of linguistic communication
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 1212-1212 Corresponding is a subclass of linguistic communication
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 17482-17482 Debating is a subclass of linguistic communication
(subclass Declaring LinguisticCommunication) Merge.kif 12264-12264 Declaring is a subclass of linguistic communication
(subclass Directing LinguisticCommunication) Merge.kif 12200-12200 Directing is a subclass of linguistic communication
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 27832-27832 Elaborating is a subclass of linguistic communication
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 10742-10742 Expressing in language is a subclass of linguistic communication
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 17489-17489 Negotiating is a subclass of linguistic communication
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 27846-27846 Restating is a subclass of linguistic communication
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1209-1209 Speaking is a subclass of linguistic communication
(subclass Stating LinguisticCommunication) Merge.kif 12161-12161 Stating is a subclass of linguistic communication
(subclass Supposing LinguisticCommunication) Merge.kif 12195-12195 Supposing is a subclass of linguistic communication
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 1302-1302 TellingA lie is a subclass of linguistic communication
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 1006-1006 Written communication is a subclass of linguistic communication
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34441-34441
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34440-34440
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34439-34439

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


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))
Biography.kif 518-537
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1826-1832
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 12153-12159

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


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))
Media.kif 1834-1841
(=>
    (instance ?E Elaborating)
    (exists (?L ?EP ?LP)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?E)
            (containsInformation ?E ?EP)
            (containsInformation ?L ?LP)
            (subsumesContentInstance ?EP ?LP))))
Mid-level-ontology.kif 27836-27844
(=>
    (instance ?P Prompting)
    (exists (?H ?A)
        (and
            (destination ?P ?H)
            (agent ?P ?A)
            (desires ?A
                (exists (?LC)
                    (and
                        (instance ?LC LinguisticCommunication)
                        (agent ?LC ?H)
                        (earlier ?P ?LC)
                        (subsumesContentInstance ?LC ?P)))))))
Mid-level-ontology.kif 27893-27905
(=>
    (instance ?R Restating)
    (exists (?L)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?R ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))
Mid-level-ontology.kif 27853-27861


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