Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Writing

Sigma KEE - Writing
Writing(writing)
more pictures...
Latinise, Latinize, Romanise, Romanize, abbreviate, accession, adoxography, alter, authorship, autograph, autographic, backhand, block, blue-pencil, boldface, book, boustrophedonic, braille, brand, cable, calligraph, capitalise, capitalize, character, chronicle, clock_up, commentator, committal_to_writing, complete, compose, composition, concentrate, condense, contract, copy, copy_out, copyedit, copyread, correspond, countersign, cross, cursive, cut, dash_down, dash_off, delete, dot, draft, drafting, dramatisation...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3203-3204
No TPTP formula. May not be expressible in strict first order. Merge.kif 12698-12701
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8301-8301
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6989-6989
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8303-8303
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8306-8306
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8302-8302
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8304-8304
No TPTP formula. May not be expressible in strict first order. Merge.kif 12697-12697 Writing is a subclass of content development

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12709-12709 Decoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. Merge.kif 12703-12703 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1179-1179
No TPTP formula. May not be expressible in strict first order. english_format.kif 1575-1575
No TPTP formula. May not be expressible in strict first order. french_format.kif 857-857
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 389-389
No TPTP formula. May not be expressible in strict first order. terms-it.txt 392-392
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2541-2541
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 809-809
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 394-394
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 428-428
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 878-878
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 393-393

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Biography.kif 742-751
No TPTP formula. May not be expressible in strict first order. Merge.kif 1514-1520

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15000-15004 Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing
No TPTP formula. May not be expressible in strict first order. Biography.kif 713-715
No TPTP formula. May not be expressible in strict first order. Biography.kif 717-726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2001-2007
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25637-25643
No TPTP formula. May not be expressible in strict first order. Merge.kif 15374-15379
No TPTP formula. May not be expressible in strict first order. Media.kif 741-763
No TPTP formula. May not be expressible in strict first order. Media.kif 713-736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14362-14368


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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