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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtWork

 Sigma KEE - ArtWork
ArtWork(objet d'art)

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 15862-15864
No TPTP formula. May not be expressible in strict first order. Merge.kif 15861-15861 Objet d'art est une sous-classe de artefact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3161-3161 Collage est une sous-classe de objet d'art
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3096-3096 PaintedPicture est une sous-classe de objet d'art
No TPTP formula. May not be expressible in strict first order. Merge.kif 15889-15889 RepresentationalArtWork est une sous-classe de objet d'art
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3143-3143 Sculpture est une sous-classe de objet d'art
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3157-3157 Sketch est une sous-classe de objet d'art
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3121-3121 Wallpaper est une sous-classe de objet d'art
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 18836-18842
No TPTP formula. May not be expressible in strict first order. Merge.kif 15866-15874
No TPTP formula. May not be expressible in strict first order. Merge.kif 15876-15887

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16765-16775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21088-21100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8498-8505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6732-6739


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