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

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 473-475
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3347-3353


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