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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3256-3257
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12213
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12211-12211	Linguistic communication is a subclass of communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12306-12306	Committing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1218-1218	Corresponding is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17512-17512	Debating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12326-12326	Declaring is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12262-12262	Directing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27865-27865	Elaborating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10769-10769	Expressing in language is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17519-17519	Negotiating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27879-27879	Restating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1215-1215	Speaking is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12223-12223	Stating is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12257-12257	Supposing is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1308-1308	TellingA lie is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1006-1006	Written communication is a subclass of linguistic communication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34537-34537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34536-34536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34535-34535

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 518-537	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process 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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1826-1832	If a process is an instance of linguistic communication 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 the agent states the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12215-12221	If a process is an instance of linguistic communication, 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

No TPTP formula. May not be expressible in strict first order.	Media.kif 1834-1841	If an agent states an entity holds during a time position, then there exists a process such that the process is an instance of linguistic communication 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27869-27877	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 linguistic communication 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27926-27938	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 linguistic communication 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27886-27894	If a time interval is an instance of Restating, then there exists another time interval such that the other time interval is an instance of linguistic communication 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