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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Writing

 Sigma KEE - Writing
Writing(写作)
more pictures...

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 12591-12594
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 12590-12590 写作 是 内容制作 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12602-12602 解码 是 写作 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12596-12596 编码 是 写作 的 subclass
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 390-390
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 1501-1507

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14933-14937 识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作
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 1973-1979
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25568-25574
No TPTP formula. May not be expressible in strict first order. Merge.kif 15267-15272
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 14295-14301


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