ArtCritic - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ArtCritic

ArtCritic(art critic)

critic, literary_critic

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21083-21084
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10431-10431
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10432-10432
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21082-21082	Art critic is a subattribute of journalist

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8496-8496
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8495-8495
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8494-8494

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 21089-21101

If art critic is an attribute of an object,
then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity

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