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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtWork

Sigma KEE - ArtWork
ArtWork(艺术品)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3605-3606
No TPTP formula. May not be expressible in strict first order. Merge.kif 15840-15842
No TPTP formula. May not be expressible in strict first order. Merge.kif 15839-15839 艺术品人工制品subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3161-3161 大学艺术品subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3096-3096 画的图片艺术品subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15867-15867 代表性的艺术作品艺术品subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3143-3143 雕塑艺术品subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3157-3157 草图艺术品subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3121-3121 墙纸艺术品subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1053-1053
No TPTP formula. May not be expressible in strict first order. english_format.kif 1317-1317
No TPTP formula. May not be expressible in strict first order. french_format.kif 731-731
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 262-262
No TPTP formula. May not be expressible in strict first order. terms-it.txt 265-265
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2415-2415
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 683-683
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 301-301
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 752-752
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 266-266

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18843
No TPTP formula. May not be expressible in strict first order. Merge.kif 15844-15852
No TPTP formula. May not be expressible in strict first order. Merge.kif 15854-15865

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16766-16776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21089-21101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8499-8506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6733-6740


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