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
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ?INDUSTRY)         (industryProductType ?INDUSTRY ?TYPE))     (exists (?EVENT ?ITEM)         (and             (instance ?EVENT Making)             (instance ?ITEM ?TYPE)             (agent ?EVENT ?ORG)             (result ?EVENT ?ITEM))))	Economy.kif 1727-1737	If an agent is an instance of organization and an industry attribute is an attribute of the agent and a kind of object is an industry product type of the industry attribute, then there exist a process and an entity such that the process is an instance of making and the entity is an instance of a kind of object and the agent is an agent of the process and the entity is a result of the process
(=>     (and         (instance ?P ThreeDPrinting)         (instance ?O Artifact)         (result ?P ?O))     (exists (?A ?X ?B ?Y)         (and             (instance ?A Making)             (subProcess ?A ?P)             (instance ?X SelfConnectedObject)             (part ?X ?O)             (result ?A ?X)             (instance ?B Making)             (subProcess ?B ?P)             (instance ?Y SelfConnectedObject)             (part ?Y ?O)             (overlapsSpatially ?X ?Y)             (orientation ?X ?Y Below)             (during                 (WhenFn ?A)                 (WhenFn ?P))             (during                 (WhenFn ?B)                 (WhenFn ?P))             (earlier                 (WhenFn ?A)                 (WhenFn ?B)))))	QoSontology.kif 537-563	If a process is an instance of 3D printing and an object is an instance of artifact and the object is a result of the process, then there exist another process, another object,, , a third process and a third object such that the other process is an instance of making and the other process is a subprocess of the process and the other object is an instance of self connected object and the other object is a part of the object and the other object is a result of the other process and the third process is an instance of making and the third process is a subprocess of the process and the third object is an instance of self connected object and the third object is a part of the object and the other object and the third object overlapsSpatially and the other object is below to the third object and the time of existence of the other process takes place during the time of existence of the process and the time of existence of the third process takes place during the time of existence of the process and the time of existence of the other process happens earlier than the time of existence of the third process
(=>     (attribute ?H Potter)     (exists (?M ?P)         (and             (instance ?P Pottery)             (instance ?M Making)             (agent ?M ?H)             (result ?M ?P))))	Mid-level-ontology.kif 22475-22482	If potter is an attribute of an agent, then there exist a process and an entity such that the entity is an instance of pottery and the process is an instance of making and the agent is an agent of the process and the entity is a result of the process
(=>     (attribute ?X AeronauticalEngineer)     (exists (?SKILL)         (and             (hasSkill ?SKILL ?X)             (forall (?P)                 (=>                     (instance ?P ?SKILL)                     (or                         (exists (?CONS ?OBJ ?PT)                             (and                                 (instance ?CONS Making)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?CONS ?OBJ)                                 (subProcess ?P ?CONS)))                         (exists (?DESIGN ?PLAN ?OBJ ?PT)                             (and                                 (instance ?DESIGN Designing)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?DESIGN ?PLAN)                                 (represents ?PLAN ?OBJ)                                 (subProcess ?P ?DESIGN)))))))))	Biography.kif 444-473	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
(=>     (attribute ?X MeanOfProduction)     (hasPurpose ?X         (or             (exists (?MAKE ?PRODUCT)                 (and                     (instance ?MAKE Making)                     (involvedInEvent ?MAKE ?X)                     (not                         (result ?MAKE ?X))                     (instance ?PRODUCT Artifact)                     (result ?MAKE ?PRODUCT)                     (hasPurpose ?PRODUCT                         (exists (?SELL)                             (and                                 (instance ?SELL Selling)                                 (patient ?SELL ?PRODUCT))))))             (exists (?SERVICE)                 (and                     (instance ?SERVICE CommercialService)                     (involvedInEvent ?SERVICE ?X))))))	Economy.kif 6084-6104	If mean of production is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
(=>     (contestObject ?CONTEST ?OBJ ?AGENT)     (and         (contestParticipant ?CONTEST ?AGENT)         (exists (?MAKE ?JUDGE ?PROC ?AFTR)             (and                 (instance ?MAKE Making)                 (result ?MAKE ?OBJ)                 (agent ?MAKE ?AGENT)                 (instance ?PROC Judging)                 (agent ?PROC ?JUDGE)                 (patient ?PROC ?OBJ)                 (result ?PROC                     (subjectiveAttribute ?OBJ ?AFTR ?JUDGE))                 (subProcess ?PROC ?CONTEST)))))	Dining.kif 883-896	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent,, , another process and an entity such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is the entity is a result of the other process and the other process is a subprocess of the contest
(=>     (instance ?ARTIFACT Artifact)     (exists (?MAKING)         (and             (instance ?MAKING Making)             (result ?MAKING ?ARTIFACT))))	Merge.kif 15857-15862	If an entity is an instance of artifact, then there exists a process such that the process is an instance of making and the entity is a result of the process
(=>     (instance ?F CottonFabric)     (exists (?M ?C)         (and             (instance ?M Making)             (resource ?M ?C)             (instance ?C Cotton)             (result ?M ?F))))	Mid-level-ontology.kif 6386-6393	If an entity is an instance of cotton fabric, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of cotton and the entity is a result of the process
(=>     (instance ?HAY Hay)     (exists (?MAKE ?GRASS)         (and             (instance ?MAKE Making)             (resource ?MAKE ?GRASS)             (instance ?GRASS Grass)             (result ?MAKE ?HAY))))	Mid-level-ontology.kif 22011-22018	If an entity is an instance of hay, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of grass plant and the entity is a result of the process
(=>     (instance ?LEATHER Leather)     (exists (?MAKE ?SKIN)         (and             (instance ?MAKE Making)             (resource ?MAKE ?SKIN)             (instance ?SKIN Skin)             (result ?MAKE ?LEATHER))))	Mid-level-ontology.kif 6311-6318	If an entity is an instance of leather, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of skin and the entity is a result of the process
(=>     (instance ?MT MechanicalDie)     (hasPurpose ?MT         (exists (?M ?N)             (and                 (instance ?M Making)                 (instance ?N MechanicalNut)                 (instrument ?M ?MT)                 (result ?M ?N)))))	Cars.kif 4280-4288	If a physical is an instance of die, 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 an instance of nut and the physical is an instrument for the entity and the other entity is a result of the entity
(=>     (instance ?MT MechanicalTap)     (hasPurpose ?MT         (exists (?M ?B)             (and                 (instance ?M Making)                 (instance ?B Bolt)                 (instrument ?M ?MT)                 (result ?M ?B)))))	Cars.kif 4266-4274	If a physical is an instance of tap, 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 an instance of bolt and the physical is an instrument for the entity and the other entity is a result of the entity
(=>     (instance ?PUB Brewpub)     (exists (?SERVICE ?BEER ?BREW)         (and             (instance ?BREW Making)             (result ?BREW ?BEER)             (instance ?BEER Beer)             (agent ?BREW ?PUB)             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?PUB)             (instance ?SERVICE Selling)             (patient ?SERVICE ?BEER))))	Dining.kif 51-62	If an agent is an instance of Brewpub, then there exist a process, an entity and another process such that the other process is an instance of making and the entity is a result of the other process and the entity is an instance of beer and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
(=>     (instance ?S Silk)     (exists (?M ?T ?I)         (and             (instance ?M Making)             (result ?M ?S)             (resource ?M ?T)             (part ?T ?I)             (instance ?I Insect)             (attribute ?I Larval))))	Mid-level-ontology.kif 6324-6333	If an entity is an instance of silk, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the other object is an instance of insect and larval is an attribute of the other object
(=>     (instance ?S Workshop)     (hasPurpose ?S         (exists (?M ?W)             (and                 (instance ?M Making)                 (result ?M ?W)                 (instance ?W Artifact)))))	Mid-level-ontology.kif 8015-8022	If a physical is an instance of workshop, 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 artifact
(=>     (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
(=>     (instance ?W Wool)     (exists (?M ?H ?S)         (and             (instance ?M Making)             (result ?M ?W)             (resource ?M ?H)             (part ?H ?S)             (instance ?H Hair)             (instance ?S Sheep))))	Mid-level-ontology.kif 6338-6347	If an entity is an instance of wool, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the object is an instance of hair and the other object is an instance of sheep
(=>     (instance ?X Paper)     (exists (?MAKE ?CELL ?PRESS)         (and             (instance ?MAKE Making)             (instance ?CELL Cellulose)             (instance ?PRESS Compressing)             (resource ?MAKE ?CELL)             (result ?MAKE ?X)             (subProcess ?MAKE ?PRESS)             (patient ?PRESS ?CELL))))	Mid-level-ontology.kif 4005-4015	If an entity is an instance of paper, then there exist a process, an object and another process such that the process is an instance of making and the object is an instance of cellulose and the other process is an instance of compressing and the object is a resource for the process and the entity is a result of the process and the process is a subprocess of the other process and the object is a patient of the other process
(=>     (instance ?X WetBar)     (exists (?SINK ?OBJ)         (and             (instance ?SINK WashBasin)             (part ?SINK ?X)             (instance ?OBJ Object)             (attribute ?OBJ Flat)             (hasPurpose ?OBJ                 (exists (?PREP ?FOOD)                     (and                         (instance ?PREP Making)                         (result ?PREP ?FOOD)                         (or                             (instance ?FOOD PreparedFood)                             (instance ?FOOD Beverage))                         (eventLocated ?PREP ?OBJ))))             (part ?OBJ ?X))))	Food.kif 331-348	If an object is an instance of wet bar, then there exist another object and a third object such that the other object is an instance of wash basin and the other object is a part of the object and the third object is an instance of object and flat is an attribute of the third object and the third object 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 prepared food or the other entity is an instance of beverage and the entity is located at the third object and the third object is a part of the object
(=>     (thirdPartyProduct ?ART ?ORG ?AG)     (not         (exists (?M)             (and                 (instance ?M Making)                 (agent ?M ?ORG)                 (result ?M ?ART)))))	ComputingBrands.kif 3927-3934	If an artifact is a product owned by an agent but not manufactured by an organization, then there doesn't exist a process such that the process is an instance of making and the organization is an agent of the process and the artifact is a result of the process
(=>     (yearBuilt ?OBJ ?YEAR)     (exists (?TIME ?MAKE)         (and             (instance ?TIME ?YEAR)             (instance ?MAKE Making)             (result ?MAKE ?OBJ)             (temporallyBetweenOrEqual                 (BeginFn ?TIME)                 (EndFn                     (WhenFn ?MAKE))                 (EndFn ?TIME)))))	Hotel.kif 729-739	If an object was built in a kind of year, then there exist a time interval and a process such that the time interval is an instance of a kind of year and the process is an instance of making and the object is a result of the process and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval

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