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 12668-12671
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 12667-12667 写作内容制作subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12679-12679 解码写作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12673-12673 编码写作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 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 14972-14976 识字属性 施事体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 25569-25575
No TPTP formula. May not be expressible in strict first order. Merge.kif 15344-15349
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 14334-14340


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