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...

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


(documentation LinguisticCommunication ChineseLanguage "这是一种用 LinguisticExpression 来交换信息的 Communication。") Merge.kif 13082-13083
(documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") Merge.kif 13080-13081
(subclass LinguisticCommunication Communication) Merge.kif 13079-13079 Linguistic communication is a subclass of communication

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


(subclass Committing LinguisticCommunication) Merge.kif 13192-13192 Committing is a subclass of linguistic communication
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 1216-1216 Corresponding is a subclass of linguistic communication
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 17480-17480 Debating is a subclass of linguistic communication
(subclass Declaring LinguisticCommunication) Merge.kif 13217-13217 Declaring is a subclass of linguistic communication
(subclass Directing LinguisticCommunication) Merge.kif 13139-13139 Directing is a subclass of linguistic communication
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 27826-27826 Elaborating is a subclass of linguistic communication
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 10736-10736 Expressing in language is a subclass of linguistic communication
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 17487-17487 Negotiating is a subclass of linguistic communication
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 27840-27840 Restating is a subclass of linguistic communication
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1213-1213 Speaking is a subclass of linguistic communication
(subclass Stating LinguisticCommunication) Merge.kif 13093-13093 Stating is a subclass of linguistic communication
(subclass Supposing LinguisticCommunication) Merge.kif 13132-13132 Supposing is a subclass of linguistic communication
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 1307-1307 TellingA lie is a subclass of linguistic communication
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 1007-1007 Written communication is a subclass of linguistic communication
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 6176-6176 "linguistic communication" is the printable form of linguistic communication in english language

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 13085-13091

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 27830-27838
(=>
    (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 27887-27899
(=>
    (instance ?R Restating)
    (exists (?L)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?E ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))
Mid-level-ontology.kif 27847-27855


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