Term Intersection : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagecbczdehirosvtg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

Term 1: Term 2:

(=>     (and         (instance ?X BreakingRecord)         (agent ?X ?A1))     (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)         (and             (instance ?AC Set)             (element ?A1 ?AC)             (subclass ?PC Process)             (instance ?L Region)             (instance ?TP TimePoint)             (instance ?Q Quantity)             (instance ?P1 ?PC)             (refers ?X ?Q)             (refers ?Q ?P1)             (playsRoleInEvent ?A1 ?ROLE ?P1)             (eventLocated ?P1 ?L)             (not                 (exists (?A2 ?P2)                     (and                         (instance ?A2 ?AC)                         (not                             (equal ?A2 ?A1))                         (instance ?P2 ?PC)                         (holdsDuring                             (TimeIntervalFn ?TP                                 (EndFn                                     (WhenFn ?X)))                             (and                                 (playsRoleInEvent ?A2 ?ROLE ?P2)                                 (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 31908-31938	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and equal the other entity and the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
(=>     (and         (instance ?R RecreationOrExercise)         (instrument ?R ?RM)         (instance ?RM RowingMachine)         (experiencer ?R ?H)         (instance ?ROW Rowing)         (subProcess ?RMOT ?R)         (subclass ?C BodyMotion)         (instance ?RMOT ?C))     (exists (?ROWMOT)         (and             (instance ?ROWMOT ?C)             (subProcess ?ROWMOT ?R)             (agent ?ROWMOT ?H))))	Mid-level-ontology.kif 9405-9419	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT
(=>     (and         (functionRoomAmenity ?FR ?PHY)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?HOTEL))         (instance ?RENT Renting)         (patient ?RENT ?RM)         (agent ?RENT ?HOTEL)         (destination ?RENT ?CUST)         (subclass ?PHY Object))     (modalAttribute         (exists (?O ?P)             (and                 (instance ?O ?PHY)                 (instance ?P Process)                 (or                     (resource ?P ?O)                     (instrument ?P ?O)                     (patient ?P ?O))                 (or                     (agent ?P ?CUST)                     (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 815-836	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
(=>     (instance ?CO CounterOperation)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS MilitaryOperation)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2174-2184	If a physical is an instance of counter operation, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of military operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=>     (and         (instance ?PROCESS ?PROCESS_CLASS)         (subclass ?PROCESS_CLASS Process)         (instance ?ACCESSING AccessingWebPage)         (instance ?AGENT AutonomousAgent)         (agent ?PROCESS ?AGENT)         (agent ?ACCESSING ?AGENT)         (during ?PROCESS ?ACCESSING)         (instance ?TIMETOFIRST TimeInterval)         (not             (exists (?PROCESS2)                 (and                     (instance ?PROCESS2 ?PROCESS_CLASS)                     (agent ?PROCESS2 ?AGENT)                     (during ?PROCESS2 ?ACCESSING)                     (before                         (BeginFn                             (WhenFn ?PROCESS2))                         (BeginFn                             (WhenFn ?PROCESS))))))         (equal             (BeginFn                 (WhenFn ?ACCESSING))             (BeginFn                 (WhenFn ?TIMETOFIRST)))         (equal             (BeginFn                 (WhenFn ?PROCESS))             (EndFn                 (WhenFn ?TIMETOFIRST))))     (equal         (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and equal the beginning of the time of existence of the accessing web page and the beginning of the time of existence of the physical and equal the beginning of the time of existence of the time interval and the end of the time of existence of the physical, then equal the time of the accessing web page in the class the time interval_CLASS and the physical
(=>     (attribute ?DOCTOR MedicalDoctor)     (exists (?PROCESS1 ?PROCESS2)         (and             (subclass ?PROCESS1 DiagnosticProcess)             (subclass ?PROCESS2 TherapeuticProcess)             (capability ?PROCESS1 agent ?DOCTOR)             (capability ?PROCESS2 agent ?DOCTOR))))	Mid-level-ontology.kif 22644-22651	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
(=>     (attribute ?HUMAN         (ProfessionalFn ?SOCIALROLE))     (exists (?WORK ?PROC ?CLASS)         (and             (instance ?WORK Working)             (agent ?WORK ?HUMAN)             (subProcess ?PROC ?WORK)             (instance ?PROC ?CLASS)             (subclass ?CLASS IntentionalProcess)             (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN))))	Mid-level-ontology.kif 9447-9457	If profession a social role is an attribute of an agent, then there exist a process, another process and a third kind of process such that the process is an instance of working and the agent is an agent of the process and the other process is a subprocess of the process and the other process is an instance of a third kind of process and the third kind of process is a subclass of intentional process and the agent has the skill to do the third kind of process in their role as the social role
(=>     (equal ?NUMDEMANDED         (DemandFn ?ME))     (exists (?DESIREDITEMS ?ITEMCLASS ?CLASS)         (and             (instance ?DESIREDITEMS Collection)             (memberCount ?DESIREDITEMS ?NUMDEMANDED)             (memberType ?ME ?ITEMCLASS)             (=>                 (and                     (instance ?H Human)                     (instance ?ITEM ?ITEMCLASS)                     (=>                         (and                             (instance ?B1 ?CLASS)                             (subclass ?CLASS Buying)                             (patient ?B1 ?ITEM))                         (capability ?CLASS agent ?H))                     (desires ?H                         (exists (?B2 ?ITEM)                             (and                                 (instance ?B2 ?CLASS)                                 (transactionAmount ?B2 ?CM)                                 (patient ?B2 ?ITEM)                                 (member ?ITEM ?ME)                                 (agent ?B2 ?H)))))                 (member ?ITEM ?DESIREDITEMS)))))	Economy.kif 6787-6812	If equal an integer and demand a market, then there exist a collection, a class and a kind of process such that the collection is an instance of collection and the integer is a member count of the collection and the class is a member type of the market and if a cognitive agent is an instance of human and a physical is an instance of the class and if another process is an instance of a kind of process and the kind of process is a subclass of buying and the physical is a patient of the other process, then the cognitive agent is capable of doing the kind of process as a agent and the cognitive agent desires there exist an entity and the physical such that the entity is an instance of the kind of process and another entity is a transaction amount of the entity and the physical is a patient of the entity and the physical is a member of the market and the cognitive agent is an agent of the entity, then the physical is a member of the collection
(=>     (instance ?CO CounterTerrorism)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS Terrorism)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2032-2042	If a physical is an instance of counter terrorism, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of terrorism and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=>     (and         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validityPeriod ?PS ?TIMEINT))     (holdsDuring ?TIMEINT         (modalAttribute             (=>                 (and                     (instance ?S Selling)                     (agent ?S ?AGENT)                     (patient ?S ?ITEM))                 (transactionAmount ?S ?PRICE)) Likely)))	Catalog.kif 372-387	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid during a time interval, then the statement if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during the time interval
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Object)         (instance ?PROCESSINST ?PROCESS)         (subclass ?PROCESS Process)         (instance ?OBJ ?CLASS)         (patient ?PROCESSINST ?OBJ))     (capability ?PROCESS agent ?AGENT))	Catalog.kif 98-107	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
(=>     (and         (instance ?SEAT AuditoriumSeat)         (part ?SEAT ?AUDITORIUM)         (part ?STAGE ?AUDITORIUM)         (instance ?AUDITORIUM Auditorium)         (instance ?STAGE PerformanceStage)         (located ?PERSON ?SEAT)         (instance ?PERSON Human)         (subclass ?SEE Seeing)         (forall (?INST)             (=>                 (instance ?INST ?SEE)                 (patient ?INST ?STAGE))))     (capability ?SEE agent ?PERSON))	Mid-level-ontology.kif 8508-8522	If an object is an instance of auditorium seat and the object is a part of another object and a third object is a part of the other object and the other object is an instance of auditorium and the third object is an instance of performance stage and a fourth object is located at the object and the fourth object is an instance of human and a kind of process is a subclass of seeing and for all another process if the other process is an instance of a kind of process, then the third object is a patient of the other process , then the fourth object is capable of doing the kind of process as a agent
(=>     (instance ?CO CounterReconnaissance)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS ReconnaissanceOperation)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2193-2203	If a physical is an instance of counter reconnaissance, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of reconnaissance operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=>     (attribute ?H ObsessiveCompulsiveDisorder)     (exists (?COL ?C)         (and             (memberType ?COL ?C)             (or                 (subclass ?C Investigating)                 (subclass ?C Cleaning))             (=>                 (instance ?CI ?C)                 (and                     (agent ?CI ?H)                     (not                         (wants ?H ?CI)))))))	Medicine.kif 4028-4041	If obsessive–compulsive disorder is an attribute of a cognitive agent, then there exist a collection and a class such that the class is a member type of the collection and the class is a subclass of investigating or the class is a subclass of cleaning and if the classI is an instance of the class, then the cognitive agent is an agent of the classI and the cognitive agent doesn't want the classI
(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Object)         (instance ?X ?PHYS))     (confersRight         (exists (?PROC)             (and                 (instance ?PROC Process)                 (or                     (resource ?PROC ?X)                     (instrument ?PROC ?X)                     (patient ?PROC ?X))                 (or                     (agent ?PROC ?CUST)                     (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=>     (and         (attribute ?X Writer)         (instance ?TEXT ?CLASS)         (or             (subclass ?CLASS Text)             (subclass ?CLASS Document))         (instance ?WRITE Writing)         (agent ?WRITE ?X)         (result ?WRITE ?TEXT))     (authors ?X ?CLASS))	Biography.kif 738-748	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
(=>     (and         (instance ?X Respirator)         (instance ?PERSON Animal)         (wears ?PERSON ?X))     (hasPurpose ?X         (exists (?INHAL ?INJ ?PROTECT ?I)             (and                 (instance ?PROTECT Process)                 (instrument ?PROTECT ?X)                 (prevents ?PROTECT ?INJ)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?H)                                 (and                                     (instance ?H Human)                                     (patient ?I ?H)                                     (instance ?INHAL Inhaling)                                     (agent ?INHAL ?H)                                     (causes ?I ?INHAL))))))))))	Cars.kif 3592-3613	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
(=>     (and         (attribute ?H1 ADHD)         (not             (attribute ?H2 ADHD))         (not             (equal ?H1 ?H2))         (instance ?I1 ?IC)         (instance ?I2 ?IC)         (subclass ?IC IntentionalPsychologicalProcess)         (agent ?I1 ?H1)         (agent ?I2 ?H2)         (duration             (WhenFn ?I1) ?D1)         (duration             (WhenFn ?I2) ?D2))     (modalAttribute         (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
(=>     (and         (offersAtTime ?AGENT ?CATALOG ?TIMEINT)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Object)         (instance ?PROCESSINSTANCE ?PROCESS)         (subclass ?PROCESS Process)         (instance ?OBJ ?CLASS)         (patient ?PROCESSINSTANCE ?OBJ)         (instance ?TIMEINT ?TIME)         (subclass ?TIME TimeInterval))     (capabilityDuring ?PROCESS agent ?AGENT ?TIME))	Catalog.kif 139-150	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the other kind of process during the other kind of time interval
(=>     (and         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validFor ?PS ?CUSTCLASS)         (instance ?CUSTOMER ?CUSTCLASS))     (modalAttribute         (=>             (and                 (instance ?B Buying)                 (agent ?B ?CUSTOMER)                 (origin ?B ?AGENT)                 (patient ?B ?ITEM))             (transactionAmount ?B ?PRICE)) Likely))	Catalog.kif 354-370	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
(=>     (and         (roomAmenity ?ROOM ?SVC)         (subclass ?SVC Process))     (modalAttribute         (exists (?X ?S ?HOTEL ?PROC)             (and                 (instance ?X ?ROOM)                 (element ?X                     (PropertyFn ?HOTEL))                 (agent ?S ?HOTEL)                 (or                     (instance ?S ?SVC)                     (and                         (instance ?PROC ?SVC)                         (subProcess ?S ?PROC)))                 (located ?S ?X))) Possibility))	Hotel.kif 317-332	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of a kind of hotel unit and the entity is an element of belongings of the third entity and the third entity is an agent of the other entity and the other entity is an instance of the kind of physical or the fourth entity is an instance of the kind of physical and the other entity is a subprocess of the fourth entity and the other entity is located at the entity has the modal force of possibility
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?PROP ?CATALOG)         (subclass ?PROP Proposition))     (modalAttribute         (exists (?P ?S ?X)             (and                 (instance ?P ?PROP)                 (realization ?X ?P)                 (instance ?S Selling)                 (patient ?S ?X)                 (agent ?S ?AGENT))) Possibility))	Catalog.kif 64-76	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of the kind of entity and the fourth entity expresses the content of the other entity and the third entity is an instance of selling and the fourth entity is a patient of the third entity and the agent is an agent of the third entity has the modal force of possibility
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?OBJ ?CATALOG)         (subclass ?OBJ Physical))     (modalAttribute         (exists (?S ?X)             (and                 (instance ?X ?OBJ)                 (instance ?S Selling)                 (agent ?S ?AGENT)                 (patient ?S ?X))) Possibility))	Catalog.kif 51-62	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist another entity and a third entity such that the third entity is an instance of the kind of entity and the other entity is an instance of selling and the agent is an agent of the other entity and the third entity is a patient of the other entity has the modal force of possibility
(=>     (and         (trafficableForTrafficType ?place ?type)         (subclass ?type AutonomousAgent)         (instance ?mover ?type))     (capableAtLocation Translocation agent ?mover ?place))	Transportation.kif 3147-3152	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of agent and an object is an instance of the kind of self connected object, then translocation capable at location agent for the object with the region
(=>     (and         (freeRoomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?O ?OBJ)         (located ?O ?R)         (instance ?P Process)         (agent ?P ?GUEST)         (or             (patient ?P ?O)             (instrument ?P ?O)             (resource ?P ?O)))     (price ?O         (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the object is price 0 united states dollar(s) for the human
(=>     (and         (subjectiveAttribute ?AGENT1 Quick ?PERSON)         (subjectiveAttribute ?AGENT2 Slow ?PERSON)         (instance ?PROCESS1 ?CLASS)         (instance ?PROCESS2 ?CLASS)         (subclass ?CLASS Process)         (agent ?PROCESS1 ?AGENT1)         (agent ?PROCESS2 ?AGENT2))     (and         (instance ?U UnitOfDuration)         (duration             (WhenFn ?PROCESS1)             (MeasureFn ?TIME1 ?U))         (duration             (WhenFn ?PROCESS2)             (MeasureFn ?TIME2 ?U))         (greaterThan ?TIME2 ?TIME1)))	Dining.kif 1044-1059	If an agent believes another agent is quick and the agent believes a third agent is slow and a process is an instance of a class and another process is an instance of the class and the class is a subclass of process and the other agent is an agent of the process and the third agent is an agent of the other process, then an unit of measure is an instance of unit of duration and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s) and the other real number is greater than the real number
(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Process))     (modalAttribute         (exists (?S ?LOC ?PROC)             (and                 (element ?LOC                     (PropertyFn ?AGENT))                 (agent ?S ?AGENT)                 (patient ?S ?CUST)                 (or                     (instance ?S ?PHYS)                     (and                         (instance ?PROC ?PHYS)                         (subProcess ?S ?PROC)))                 (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
(=>     (and         (paidRoomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?O ?OBJ)         (located ?O ?R)         (instance ?P Process)         (agent ?P ?GUEST)         (or             (located ?P ?R)             (patient ?P ?O)             (instrument ?P ?O)             (resource ?P ?O)))     (exists (?PRICE ?U)         (and             (price ?O                 (MeasureFn ?PRICE ?U) ?GUEST)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the temporary residence or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
(=>     (and         (offersAtTime ?AGENT ?CATALOG ?TIMEINT)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Process)         (instance ?TIMEINT ?TIME)         (subclass ?TIME TimeInterval))     (capabilityDuring ?CLASS agent ?AGENT ?TIME))	Catalog.kif 130-137	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the kind of entity during the other kind of time interval
(=>     (and         (guest ?CUST ?HOTEL)         (stays ?CUST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?R ?ROOM)         (roomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object))     (exists (?O)         (and             (instance ?O ?OBJ)             (located ?O ?R)             (confersRight                 (exists (?PROC)                     (and                         (agent ?PROC ?CUST)                         (or                             (instrument ?PROC ?O)                             (patient ?PROC ?O)                             (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
(=>     (instance ?GUN Firearm)     (hasPurpose ?GUN         (exists (?A ?SHOOT ?S)             (and                 (instance ?A Human)                 (subclass ?SHOOT Shooting)                 (instance ?S ?SHOOT)                 (objectTransferred ?S ?GUN)                 (capability ?SHOOT agent ?A)                 (not                     (exists (?A2)                         (and                             (instance ?A2 Human)                             (not                                 (equal ?A ?A2))                             (agent ?S ?A2))))))))	Mid-level-ontology.kif 1873-1889	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of shooting and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a agent and there doesn't exist the entity2 such that the entity2 is an instance of human and equal the entity and the entity2 and the entity2 is an agent of the third entity
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Process))     (capability ?CLASS agent ?AGENT))	Catalog.kif 88-93	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of process, then the agent is capable of doing the kind of entity as a agent
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?AGENT)         (instance ?S Set)         (patient ?DECIDE ?S)         (element ?M ?S))     (believes ?AGENT         (exists (?CLASS)             (and                 (instance ?M ?CLASS)                 (subclass ?CLASS IntentionalProcess)                 (capability ?CLASS agent ?AGENT)))))	Merge.kif 12186-12198	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
(=>     (instance ?TEAM SportsTeam)     (exists (?SPORT)         (and             (subclass ?SPORT Sport)             (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 8690-8695	If an object is an instance of sports team, then there exists a kind of process such that a kind of process is a subclass of sport and the object is capable of doing the kind of process as a agent
(=>     (and         (attribute ?G ToxicandInfectiousSubstance)         (or             (instance ?G Substance)             (instance ?G Microorganism)))     (exists (?O ?P ?I ?CLASS)         (and             (or                 (instance ?O Human)                 (instance ?O Animal))             (orientation ?G ?O Near)             (or                 (instance ?P Inhaling)                 (instance ?P Ingesting)                 (instance ?P Touching))             (agent ?P ?O)             (patient ?P ?G)             (causes ?P ?I)             (patient ?I ?O)             (instance ?I ?CLASS)             (capability ?CLASS resource ?G)             (or                 (subclass ?CLASS Injuring)                 (subclass ?CLASS Death)))))	Transportation.kif 4199-4223	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death

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