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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtWork
ArtWork(Objeto de Arte)

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 15886-15888
No TPTP formula. May not be expressible in strict first order. Merge.kif 15885-15885 Objeto de Arte e' uma sub-classe de Artefato

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3154-3154 Collage e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3089-3089 PaintedPicture e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order. Merge.kif 15913-15913 RepresentationalArtWork e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3136-3136 Sculpture e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3150-3150 Sketch e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3114-3114 Wallpaper e' uma sub-classe de Objeto de Arte
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 18864-18870
No TPTP formula. May not be expressible in strict first order. Merge.kif 15890-15898
No TPTP formula. May not be expressible in strict first order. Merge.kif 15900-15911

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16793-16803
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21116-21128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8526-8533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6727-6734


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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