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 726-728
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8812-8812
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9874-9874
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9873-9873
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9867-9867
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9868-9868
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9871-9871
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9872-9872
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9870-9870
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9866-9866
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 725-725	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 2847-2847	PostingOnBlog is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2863-2863	Tweeting is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2883-2883	WebChatting is a subclass of written communication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63551-63551
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63550-63550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63549-63549

antecedent

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

Mid-level-ontology.kif 623-632

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 473-475	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 3347-3353	If a physical is an instance of IMessage, 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