WrittenCommunication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WrittenCommunication

WrittenCommunication(written communication)

more pictures...

drop_a_line, write

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 774-776
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8806-8806
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9855-9855
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9854-9854
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9848-9848
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9849-9849
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9852-9852
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9853-9853
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9851-9851
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9847-9847
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 773-773	Written communication is a subclass of linguistic communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 202-202	Emailing is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2880-2880	Posting on blog is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2896-2896	Tweeting is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2916-2916	Web chatting is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63573-63573	Web chatting is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63572-63572	Web chatting is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63571-63571	Web chatting is a subclass of written communication

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 672-681

If a process is an instance of written communication,
then there exist an object, another object and a collection such that the object is a result of the process and the object is an instance of text and the other object is a part of the object and the other object is an instance of character and the collection is an instance of script and the other object is a member of the collection

consequent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 717-719	If writer is an attribute of an agent, then the agent has the skill to do written communication
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3369-3375	If a physical is an instance of i_message, then the physical has the purpose there exists an entity such that the entity is an instance of written communication and the physical is an instrument for the entity

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