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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sculpture

 Sigma KEE - Sculpture
Sculpture(sculpture)
more pictures...		Colossus_of_Rhodes, Olympian_Zeus, Praxiteles, herm, sculpture, statue, term, terminal_figure, terminus

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3144-3145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3182-3182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3184-3184
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3187-3187
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2986-2986
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3181-3181
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3186-3186
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3185-3185
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3183-3183
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3188-3188
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3180-3180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3143-3143 Sculpture is a subclass of art work

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51633-51633
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51632-51632
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51631-51631


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