TreeView Knowledge Base Browser - ArtWork

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 15862-15864
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15861-15861	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 3161-3161	Collage e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3096-3096	PaintedPicture e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15889-15889	RepresentationalArtWork e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3143-3143	Sculpture e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3157-3157	Sketch e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3121-3121	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 18836-18842	Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto de Arte Artist e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15866-15874	Fisico e' uma instancia de Objeto de Arte Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Percepcao Entidade experimenta Entidade Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15876-15887	Fisico e' uma instancia de Objeto de Arte Fisico tem por fim Entidade Entidade e' uma instancia de Humano Entidade deseja Entidade Entidade e' uma instancia de Percepcao Entidade experimenta Entidade Fisico e' um patient de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16765-16775	Objeto e' uma instancia de ArtSchool Processo e' uma instancia de Processo Educacional eventLocated Processo and Objeto Processo Entidade Processo e' uma instancia de Fazer Entidade e' um patient de Processo Entidade e' uma instancia de Objeto de Arte Processo inclui uma referencia a Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	ArtCritic e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Objeto de Arte tempo de existencia de Objeto engloba tempo de existencia de Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Artigo Objeto e' o autor de Entidade Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8498-8505	AutonomousAgent e' uma instancia de ArtMuseum Objeto Fisico AutonomousAgent possui Objeto Objeto e' uma instancia de Predio Fisico e' uma instancia de Objeto de Arte Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6732-6739	Fisico e' uma instancia de ArtStudio Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' o resultado de Entidade Entidade e' uma instancia de Objeto de Arte

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