LinguisticCommunication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LinguisticCommunication

LinguisticCommunication

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, gossip, implicit, in_a_low_voice, inexplicit, informal, informally, informatively, instructively, interlocutory, linguistic_performance...

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 13303-13304
(subclass LinguisticCommunication Communication)	Merge.kif 13302-13302	LinguisticCommunication is a subclass of communication

appearance as argument number 2

(subclass Committing LinguisticCommunication)	Merge.kif 13397-13397	Committing is a subclass of LinguisticCommunication
(subclass Corresponding LinguisticCommunication)	Mid-level-ontology.kif 822-822	Corresponding is a subclass of LinguisticCommunication
(subclass Debating LinguisticCommunication)	Mid-level-ontology.kif 21262-21262	Debating is a subclass of LinguisticCommunication
(subclass Declaring LinguisticCommunication)	Merge.kif 13417-13417	Declaring is a subclass of LinguisticCommunication
(subclass Directing LinguisticCommunication)	Merge.kif 13353-13353	Directing is a subclass of LinguisticCommunication
(subclass Elaborating LinguisticCommunication)	Mid-level-ontology.kif 31560-31560	Elaborating is a subclass of LinguisticCommunication
(subclass ExpressingInLanguage LinguisticCommunication)	Mid-level-ontology.kif 14456-14456	ExpressingInLanguage is a subclass of LinguisticCommunication
(subclass Negotiating LinguisticCommunication)	Mid-level-ontology.kif 21269-21269	Negotiating is a subclass of LinguisticCommunication
(subclass Restating LinguisticCommunication)	Mid-level-ontology.kif 31574-31574	Restating is a subclass of LinguisticCommunication
(subclass Speaking LinguisticCommunication)	Mid-level-ontology.kif 819-819	Speaking is a subclass of LinguisticCommunication
(subclass Stating LinguisticCommunication)	Merge.kif 13314-13314	Stating is a subclass of LinguisticCommunication
(subclass Supposing LinguisticCommunication)	Merge.kif 13348-13348	Supposing is a subclass of LinguisticCommunication
(subclass TellingALie LinguisticCommunication)	Mid-level-ontology.kif 911-911	TellingALie is a subclass of LinguisticCommunication
(subclass WrittenCommunication LinguisticCommunication)	Mid-level-ontology.kif 773-773	WrittenCommunication is a subclass of LinguisticCommunication
(termFormat ChineseLanguage LinguisticCommunication "语言交流")	domainEnglishFormat.kif 34557-34557	WrittenCommunication is a subclass of LinguisticCommunication
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流")	domainEnglishFormat.kif 34556-34556	WrittenCommunication is a subclass of LinguisticCommunication
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication")	domainEnglishFormat.kif 34555-34555	WrittenCommunication is a subclass of LinguisticCommunication

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 765-784	If VoiceActor is an attribute of an agent and a process is an instance of DramaticActing and the agent is an agent of the process and another process is an instance of LinguisticCommunication and the agent is an agent of the other process and the other process is a subprocess of the process, then there don't exist a third process and another agent such that the third process is an instance of seeing and the agent is a patient of the third process and the other agent is an agent of the third process and there exist a fourth process and the other agent such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
(=> (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (instance ?SENTENCE Sentence)) (holdsDuring (WhenFn ?COMM) (states ?AGENT ?SENTENCE)))	Media.kif 1838-1844	If a process is an instance of LinguisticCommunication and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of sentence, then states the agent and the entity holds during the time of existence of the process
(=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ))))	Merge.kif 13306-13312	If a process is an instance of LinguisticCommunication, then there exists an entity such that the process expresses the entity and the entity is an instance of linguistic expression and the entity is a patient of the process

consequent

(=> (holdsDuring ?T1 (states ?AGENT ?SENTENCE)) (exists (?COMM) (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (temporalPart ?T1 (WhenFn ?COMM)))))	Media.kif 1846-1853	If states an agent and an entity holds during a time position, then there exists a process such that the process is an instance of LinguisticCommunication and the agent is an agent of the process and the entity is a patient of the process and the time position is a part of the time of existence of the process
(=> (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 31564-31572	If a time interval is an instance of Elaborating, then there exist another time interval, the time intervalP and the other time intervalP such that the other time interval is an instance of LinguisticCommunication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP subsumes the content of the other time intervalP
(=> (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 31615-31627	If a process is an instance of Prompting, then there exist an entity and a cognitive agent such that the process ends up at the entity and the cognitive agent is an agent of the process and the cognitive agent desires there exists another entity such that the other entity is an instance of LinguisticCommunication and the entity is an agent of the other entity and the process happens earlier than the other entity and the other entity subsumes the content of the process
(=> (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 31581-31589	If a time interval is an instance of Restating, then there exist another time interval, the other time intervalP and the time intervalP such that the other time interval is an instance of LinguisticCommunication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP is equivalent to the other time intervalP

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