(=>     (authors ?AGENT ?TEXTCLASS)     (exists (?PROCESS ?INSTANCE)         (and             (agent ?PROCESS ?AGENT)             (instance ?INSTANCE ?TEXTCLASS)             (result ?PROCESS ?INSTANCE))))	Merge.kif 15603-15609	If an agent is the author of a kind of content bearing object, then there exist a process and an entity such that the agent is an agent of the process and the entity is an instance of a kind of content bearing object and the entity is a result of the process
(=>     (composer ?A ?M)     (exists (?C)         (and             (instance ?C Creation)             (agent ?C ?A)             (result ?C ?M))))	Music.kif 148-154	If a cognitive agent composed a musical composition, then there exists a process such that the process is an instance of creation and the cognitive agent is an agent of the process and the musical composition is a result of the process
(=>     (constructionPeriod ?OBJECT ?INTERVAL)     (holdsDuring ?INTERVAL         (exists (?CONSTRUCTING)             (and                 (instance ?CONSTRUCTING Constructing)                 (result ?CONSTRUCTING ?OBJECT)))))	Mid-level-ontology.kif 22425-22431	If a stationary artifact was built during a time interval, then there exists an entity such that the entity is an instance of constructing and the stationary artifact is a result of the entity holds during the time interval
(=>     (contestEntry ?ENT ?AGENT ?CONT)     (exists (?P ?J)         (and             (instance ?P IntentionalProcess)             (agent ?P ?AGENT)             (result ?P ?ENT)             (instance ?J Judging)             (patient ?J ?ENT))))	Music.kif 1086-1094	If a cognitive agent entered an entity in a contest, then there exist a process and another process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a result of the process and the other process is an instance of judging and the entity is a patient of the other process
(=>     (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
(=>     (contractor ?BUILDING ?CONTRACTOR)     (exists (?CONTRACT ?AGENT)         (and             (property ?CONTRACT Contract)             (partyToAgreement ?AGENT ?CONTRACT)             (partyToAgreement ?CONTRACTOR ?CONTRACT)             (confersObligation                 (exists (?CONSTRUCT ?BUILDING2)                     (and                         (instance ?CONSTRUCT Constructing)                         (agent ?CONSTRUCT ?CONTRACTOR)                         (result ?CONSTRUCT ?BUILDING2)                         (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))	Mid-level-ontology.kif 22440-22453	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
(=>     (creator ?AGENT ?ENTITY)     (exists (?CREATION)         (and             (instance ?CREATION Creation)             (agent ?CREATION ?AGENT)             (result ?CREATION ?ENTITY))))	Mid-level-ontology.kif 15089-15095	If an agent created an entity, then there exists a process such that the process is an instance of creation and the agent is an agent of the process and the entity is a result of the process
(=>     (directed ?DIRECTOR ?MOVIE)     (exists (?FILMMAKING ?FILMCREW)         (and             (instance ?FILMMAKING FilmMaking)             (instance ?FILMCREW Organization)             (leader ?FILMCREW ?DIRECTOR)             (agent ?FILMMAKING ?FILMCREW)             (result ?FILMMAKING ?MOVIE))))	Mid-level-ontology.kif 22341-22349	If a human directed a motion picture, then there exist a process and an agent such that the process is an instance of film making and the agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process
(=>     (engineers ?AGENT ?OBJECT)     (exists (?ENGINEERING)         (and             (instance ?ENGINEERING EngineersProcess)             (agent ?ENGINEERING ?AGENT)             (result ?ENGINEERING ?OBJECT))))	engineering.kif 1522-1528	If an agent engineers an artifact, then there exists a process such that the process is an instance of engineers process and the agent is an agent of the process and the artifact is a result of the process
(=>     (equal         (MeasureFn             (PerFn                 (MeasureFn ?F KilogramForce)                 (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)         (VickersHardnessFn ?CLASS))     (modalAttribute         (exists (?SUB ?P ?D ?H ?S)             (and                 (instance ?SUB ?CLASS)                 (instance ?P Pushing)                 (destination ?P ?SUB)                 (instance ?D Diamond)                 (shape ?D SquarePyramid)                 (patient ?P ?D)                 (result ?P ?H)                 (instance ?H HoleRegion)                 (part ?H ?SUB)                 (surface ?S ?H)                 (totalArea ?S                     (MeasureFn ?A SquareMillimeter))                 (measure ?P                     (MeasureFn ?F KilogramForce)))) Likely))	Mid-level-ontology.kif 10473-10494	If the per of a real number kilogram force(s) and another real number square millimeter(s) Vickers pyramid number(s) is equal to The Vickers Hardness of a kind of substance is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of a kind of substance and the other entity is an instance of pushing and the other entity ends up at the entity and the third entity is an instance of diamond and the third entity is square pyramid and the third entity is a patient of the other entity and the fourth entity is a result of the other entity and the fourth entity is an instance of hole and the fourth entity is a part of the entity and the fifth entity is a surface of the fourth entity and the other real number square millimeter(s) is a total area of the fifth entity and the measure of the other entity is the real number kilogram force(s) has the modal force of likely
(=>     (equal         (MeasureFn ?X PoundForce)         (JankaHardnessFn ?CLASS))     (modalAttribute         (exists (?T ?W ?P ?B ?H ?S)             (and                 (instance ?T ?CLASS)                 (part ?W ?T)                 (instance ?W Wood)                 (instance ?P Pushing)                 (destination ?P ?W)                 (instance ?B Ball)                 (material ?B Steel)                 (patient ?P ?B)                 (sphereRadius ?B                     (MeasureFn 5.64 Millimeter))                 (result ?P ?H)                 (instance ?H HoleRegion)                 (part ?H ?W)                 (surface ?S ?W)                 (distance ?S ?H                     (MeasureFn 5.64 Millimeter))                 (measure ?P                     (MeasureFn ?X PoundForce)))) Likely))	Mid-level-ontology.kif 10397-10420	If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
(=>     (equal ?GNP         (GrossNationalProductFn ?GPA ?Y))     (exists (?PRODANDSERV)         (and             (instance ?PRODANDSERV Collection)             (monetaryValue ?PRODANDSERV ?GNP)             (=>                 (and                     (instance ?M Manufacture)                     (result ?M ?PRODUCT)                     (agent ?M ?MAKER)                     (member ?MAKER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?M) ?Y))                 (member ?PRODUCT ?PRODANDSERV))             (=>                 (and                     (instance ?SERVICE Process)                     (attribute ?SERVICE ServiceInEconomics)                     (agent ?SERVICE ?PROVIDER)                     (member ?PROVIDER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?SERVICE) ?Y))                 (member ?SERVICE ?PRODANDSERV)))))	Economy.kif 1031-1052	If a currency measure is equal to gross national product of a geopolitical area during a year, then there exists a collection such that the collection is an instance of collection and value of the collection is the currency measure and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of the citizenry of the geopolitical area and finishes during the time of existence of the process and the year, then the physical is a member of the collection and if an object is an instance of process and service is an attribute of the object and another agent is an agent of the object and the other agent is a member of the citizenry of the geopolitical area and finishes during the time of existence of the object and the year, then the object is a member of the collection
(=>     (equal ?S         (RemixFn ?M ?A))     (exists (?P)         (and             (instance ?P IntentionalProcess)             (patient ?P ?M)             (agent ?P ?A)             (result ?P ?S)             (not                 (equal ?S ?M))             (not                 (copy ?S ?M)))))	Music.kif 891-900	If a music recording is equal to the remix of another music recording by a cognitive agent, then there exists a process such that the process is an instance of intentional process and the other music recording is a patient of the process and the cognitive agent is an agent of the process and the music recording is a result of the process and the music recording is not equal to the other music recording and the music recording is not a copy of the other music recording
(=>     (finalExperimentReport ?CBP ?EXPERIMENT)     (exists (?RESULT)         (and             (result ?EXPERIMENT ?RESULT)             (containsInformation ?CBP ?RESULT))))	UXExperimentalTerms.kif 2702-2707	If the final report for an experimenting is a content bearing physical, then there exists a proposition such that the proposition is a result of the experimenting and the content bearing physical contains information the proposition
(=>     (fulfillingEntity ?ENTITY ?RESERVE)     (exists (?P)         (and             (instance ?P Reserving)             (destination ?P ?ENTITY)             (result ?P ?RESERVE))))	Dining.kif 689-695	If an agent fulfills a reservation, then there exists a process such that the process is an instance of reserving and the process ends up at the agent and the reservation is a result of the process
(=>     (hasExpertise ?H Architecture)     (exists (?D ?P ?B)         (and             (instance ?D ContentDevelopment)             (agent ?D ?H)             (result ?D ?P)             (instance ?P Blueprint)             (represents ?P ?B)             (instance ?B Building))))	Mid-level-ontology.kif 22800-22809	If architecture has an expertise in a human, then there exist a process, an entity and another entity such that the process is an instance of content development and the human is an agent of the process and the entity is a result of the process and the entity is an instance of blueprint and the entity expresses the other entity and the other entity is an instance of building
(=>     (ingredient ?ING ?S)     (exists (?PROC ?X ?Y)         (and             (instance ?PROC Process)             (instance ?X ?ING)             (patient ?PROC ?X)             (instance ?Y ?S)             (result ?PROC ?Y))))	Merge.kif 1211-1219	If a kind of substance is an ingredient in a class, then there exist a process, an entity and another entity such that the process is an instance of process and the entity is an instance of a kind of substance and the entity is a patient of the process and the other entity is an instance of the class and the other entity is a result of the process
(=>     (ingredientAmount ?ING ?FOOD ?AMT)     (exists (?PROC ?X ?Y)         (and             (instance ?X ?ING)             (measure ?X ?AMT)             (instance ?Y ?FOOD)             (instance ?PROC Process)             (patient ?PROC ?X)             (result ?PROC ?Y))))	Food.kif 1666-1675	If a physical quantity of a kind of self connected object is used in another kind of self connected object, then there exist a process, a physical and an entity such that the physical is an instance of a kind of self connected object and the measure of the physical is the physical quantity and the entity is an instance of another kind of self connected object and the process is an instance of process and the physical is a patient of the process and the entity is a result of the process
(=>     (instance ?A Americano)     (exists (?P ?W ?E)         (and             (instance ?P Pouring)             (patient ?P ?W)             (instance ?W DrinkingWater)             (measure ?W                 (MeasureFn 90 CelsiusDegree))             (destination ?P ?E)             (instance ?E Espresso)             (result ?P ?A))))	Food.kif 1311-1321	If an entity is an instance of americano, then there exist a process, a physical and another entity such that the process is an instance of pouring and the physical is a patient of the process and the physical is an instance of potable water and the measure of the physical is 90 celsius degree(s) and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process
(=>     (instance ?A Announcement)     (exists (?CD ?I)         (and             (instance ?CD ContentDevelopment)             (result ?CD ?A)             (refers ?A ?I)             (instance ?I SocialInteraction)             (earlier                 (WhenFn ?CD)                 (WhenFn ?I)))))	Mid-level-ontology.kif 15894-15904	If an entity is an instance of announcement, then there exist a process and a physical such that the process is an instance of content development and the entity is a result of the process and the entity includes a reference to the physical and the physical is an instance of social interaction and the time of existence of the process happens earlier than the time of existence of the physical
(=>     (instance ?AC AlarmClock)     (hasPurpose ?AC         (exists (?TIME ?M ?Q)             (and                 (instance ?M Measuring)                 (agent ?M ?AC)                 (result ?M ?Q)                 (equal ?Q ?TIME)                 (holdsDuring                     (WhenFn ?M)                     (exists (?S)                         (and                             (instance ?S RadiatingSound)                             (agent ?S ?AC))))))))	Mid-level-ontology.kif 27194-27208	If a physical is an instance of alarm clock, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of measuring and the physical is an agent of the other entity and the third entity is a result of the other entity and the third entity is equal to the entity and there exists a fourth entity such that the fourth entity is an instance of radiating sound and the physical is an agent of the fourth entity holds during the time of existence of the other entity
(=>     (instance ?ACT Fax)     (exists (?MSG)         (and             (instance ?MSG FaxMessage)             (result ?ACT ?MSG))))	Media.kif 1017-1022	If a process is an instance of fax, then there exists an entity such that the entity is an instance of fax message and the entity is a result of the process
(=>     (instance ?ACTION Creation)     (exists (?RESULT)         (result ?ACTION ?RESULT)))	Merge.kif 12929-12932	If a process is an instance of creation, then there exists an entity such that the entity is a result of the process
(=>     (instance ?AGENT ChemicalAgent)     (not         (exists (?ORGANISM ?PROCESS ?SUBSTANCE)             (and                 (instance ?ORGANISM Organism)                 (instance ?PROCESS BiologicalProcess)                 (instrument ?PROCESS ?ORGANISM)                 (result ?PROCESS ?SUBSTANCE)                 (copy ?SUBSTANCE ?AGENT)))))	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
(=>     (instance ?ARTIFACT Artifact)     (exists (?MAKING)         (and             (instance ?MAKING Making)             (result ?MAKING ?ARTIFACT))))	Merge.kif 15820-15825	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
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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