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。") chinese_format.kif 3256-3257
(documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") Merge.kif 12986-12987
(subclass LinguisticCommunication Communication) Merge.kif 12985-12985 Linguistic communication is a subclass of communication

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


(subclass Committing LinguisticCommunication) Merge.kif 13080-13080 Committing is a subclass of linguistic communication
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 796-796 Corresponding is a subclass of linguistic communication
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 19485-19485 Debating is a subclass of linguistic communication
(subclass Declaring LinguisticCommunication) Merge.kif 13100-13100 Declaring is a subclass of linguistic communication
(subclass Directing LinguisticCommunication) Merge.kif 13036-13036 Directing is a subclass of linguistic communication
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 29571-29571 Elaborating is a subclass of linguistic communication
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 12982-12982 Expressing in language is a subclass of linguistic communication
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 19492-19492 Negotiating is a subclass of linguistic communication
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 29585-29585 Restating is a subclass of linguistic communication
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 793-793 Speaking is a subclass of linguistic communication
(subclass Stating LinguisticCommunication) Merge.kif 12997-12997 Stating is a subclass of linguistic communication
(subclass Supposing LinguisticCommunication) Merge.kif 13031-13031 Supposing is a subclass of linguistic communication
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 885-885 TellingA lie is a subclass of linguistic communication
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 747-747 Written communication is a subclass of linguistic communication
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34525-34525
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34524-34524
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34523-34523

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


(=>
    (and
        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
    (and
        (not
            (exists (?S ?VIEWER)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H ?VIEWER)
            (and
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))
Biography.kif 527-546
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1836-1842
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 12989-12995

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


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))
Media.kif 1844-1851
(=>
    (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 29575-29583
(=>
    (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 29626-29638
(=>
    (instance ?R Restating)
    (exists (?L ?LP ?RP)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?R ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))
Mid-level-ontology.kif 29592-29600


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