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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 12852-12855
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8300-8300
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6988-6988
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 8305-8305
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 8303-8303
No TPTP formula. May not be expressible in strict first order. Merge.kif 12851-12851 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 12863-12863 Decoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. Merge.kif 12857-12857 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1179-1179 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. english_format.kif 1575-1575 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. french_format.kif 857-857 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 389-389 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. terms-it.txt 392-392 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2541-2541 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 809-809 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 394-394 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 428-428 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. terms-de.txt 687-687 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 878-878 Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 393-393 Encoding is a subclass of writing

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 738-748
No TPTP formula. May not be expressible in strict first order. Biography.kif 750-759
No TPTP formula. May not be expressible in strict first order. Merge.kif 1524-1530

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16373-16377 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 721-723
No TPTP formula. May not be expressible in strict first order. Biography.kif 725-734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2464-2470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27535-27541
No TPTP formula. May not be expressible in strict first order. Merge.kif 15527-15532
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 15733-15739


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