consequent

(=>     (and         (instance ?AS ArtSchool)         (instance ?P EducationalProcess)         (eventLocated ?P ?AS))     (exists (?M ?ART)         (and             (instance ?M Making)             (patient ?M ?ART)             (instance ?ART ArtWork)             (refers ?P ?M))))	Mid-level-ontology.kif 18139-18149	If an object is an instance of art school and a process is an instance of educational process and the process is located at the object, then there exist another process and an entity such that the other process is an instance of making and the entity is a patient of the other process and the entity is an instance of art work and the process includes a reference to the other process
(=>     (attribute ?H ArtCritic)     (hasPurpose ?H         (exists (?AW ?T ?CLASS)             (and                 (instance ?AW ArtWork)                 (overlapsTemporally                     (WhenFn ?AW)                     (WhenFn ?H))                 (instance ?T ?CLASS)                 (subclass ?CLASS Article)                 (authors ?H ?CLASS)                 (refers ?T ?AW)))))	Mid-level-ontology.kif 22697-22709	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
(=>     (instance ?M ArtMuseum)     (exists (?B ?A)         (and             (possesses ?M ?B)             (instance ?B Building)             (instance ?A ArtWork)             (located ?A ?B))))	Mid-level-ontology.kif 9700-9707	If an agent is an instance of art museum, then there exist an object and a physical such that the agent possesses the object and the object is an instance of building and the physical is an instance of art work and the physical is located at the object
(=>     (instance ?STUDIO ArtStudio)     (hasPurpose ?STUDIO         (exists (?MAKE ?WORK)             (and                 (instance ?MAKE Making)                 (result ?MAKE ?WORK)                 (instance ?WORK ArtWork)))))	Mid-level-ontology.kif 7666-7673	If a physical is an instance of art studio, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of art work

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