consequent

(=>     (and         (attribute ?M DemoRecording)         (instance ?M Recording))     (hasPurpose ?M         (exists (?D ?G ?MUSIC)             (and                 (instance ?D Demonstrating)                 (record ?M ?MUSIC)                 (patient ?D ?MUSIC)                 (destination ?D ?G)                 (instance ?G GroupOfPeople)))))	Music.kif 410-421	If DemoRecording is an attribute of an object and the object is an instance of Recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of Demonstrating and record the object and the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of GroupOfPeople
(=>     (and         (attribute ?X CommunalAttribute)         (instance ?X Table)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople)         (eventLocated ?E1 ?X))     (modalAttribute         (exists (?GRP2 ?E2 ?X2)             (and                 (instance ?E2 Eating)                 (agent ?E2 ?GRP2)                 (not                     (equal ?GRP1 ?GRP2))                 (instance ?GRP2 GroupOfPeople)                 (eventLocated ?E2 ?X2)                 (meetsTemporally                     (WhenFn ?E1)                     (WhenFn ?E2))                 (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	If CommunalAttribute is an attribute of an object and the object is an instance of Table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of GroupOfPeople and event located the process and the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of GroupOfPeople and event located the other entity and the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of Possibility
(=>     (and         (instance ?D Demonstration)         (agent ?D ?A))     (or         (instance ?A Human)         (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2697-2703	If a process is an instance of Demonstration and an agent is an agent of the process, then the agent is an instance of human or the agent is an instance of GroupOfPeople
(=>     (and         (instance ?LE LaborMeanOfProduction)         (attribute ?LEO ?LE))     (exists (?GOP)         (and             (instance ?GOP GroupOfPeople)             (equal ?GOP ?LEO))))	Economy.kif 6197-6204	If an attribute is an instance of LaborMeanOfProduction and the attribute is an attribute of the attributeO, then there exists an entity such that the entity is an instance of GroupOfPeople and equal the entity and the attributeO
(=>     (and         (instance ?X FireAlarm)         (attribute ?X DeviceOn)         (located ?X ?LOC))     (exists (?RS)         (and             (instance ?RS RadiatingSound)             (instrument ?RS ?X)             (hasPurpose ?RS                 (exists (?GRP)                     (and                         (instance ?GRP GroupOfPeople)                         (located ?GRP ?LOC)                         (knows ?GRP                             (exists (?FIRE)                                 (and                                     (instance ?FIRE Fire)                                     (eventLocated ?FIRE ?LOC))))))))))	Mid-level-ontology.kif 28346-28364	If an object is an instance of FireAlarm and DeviceOn is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process has the purpose there exists an entity such that the entity is an instance of GroupOfPeople and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of Fire and event located the other entity and the other object
(=>     (and         (maxRoomCapacity ?ROOM ?NUM)         (instance ?X ?ROOM)         (element ?X             (PropertyFn ?AGENT)))     (modalAttribute         (exists (?GRP ?PPL)             (and                 (instance ?GRP GroupOfPeople)                 (memberCount ?GRP ?PPL)                 (lessThanOrEqualTo ?PPL ?NUM)                 (stays ?GRP ?X))) Possibility))	Hotel.kif 479-490	If maxRoomCapacity a kind of stationary artifact and an integer and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exist another entity and a third entity such that the other entity is an instance of GroupOfPeople and memberCount the other entity and the third entity and the third entity is less than or equal to the integer and stays the other entity and the entity has the modal force of Possibility
(=>     (and         (numberAdultOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL)         (and             (instance ?COL GroupOfPeople)             (memberType ?COL HumanAdult)             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2894-2903	If numberAdultOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exists a collection such that the collection is an instance of GroupOfPeople and memberType the collection and HumanAdult and memberCount the collection and the integer and potentialCustomer the collection and the agent
(=>     (and         (numberChildOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL ?SUBCOL)         (and             (instance ?COL GroupOfPeople)             (subCollection ?SUBCOL ?COL)             (instance ?SUBCOL GroupOfPeople)             (memberType ?SUBCOL HumanChild)             (memberCount ?SUBCOL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2914-2925	If numberChildOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exist a collection and another collection such that the collection is an instance of GroupOfPeople and the other collection is a proper sub-collection of the collection and the other collection is an instance of GroupOfPeople and memberType the other collection and HumanChild and memberCount the other collection and the integer and potentialCustomer the collection and the agent
(=>     (and         (numberOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL)         (and             (instance ?COL GroupOfPeople)             (memberType ?COL Human)             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2875-2884	If numberOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exists a collection such that the collection is an instance of GroupOfPeople and memberType the collection and human and memberCount the collection and the integer and potentialCustomer the collection and the agent
(=>     (and         (numberOfCustomers ?NUM ?RESERVE)         (fulfillingEntity ?AGENT ?RESERVE)         (reservingEntity ?CUST ?RESERVE))     (exists (?GRP)         (and             (potentialCustomer ?GRP ?AGENT)             (instance ?GRP GroupOfPeople)             (member ?CUST ?GRP)             (memberCount ?GRP ?NUM))))	Dining.kif 732-742	If numberOfCustomers a positive integer and a Reservation and fulfillingEntity an agent and the Reservation and reservingEntity another agent and the Reservation, then there exists a collection such that potentialCustomer the collection and the agent and the collection is an instance of GroupOfPeople and the other agent is a member of the collection and memberCount the collection and the positive integer
(=>     (and         (numberSeniorOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL ?AGE)         (and             (instance ?COL GroupOfPeople)             (forall (?X)                 (=>                     (member ?X ?COL)                     (and                         (instance ?X HumanAdult)                         (age ?X                             (MeasureFn ?AGE YearDuration))                         (greaterThanOrEqualTo ?AGE 60))))             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2936-2951	If numberSeniorOccupant a HotelReservation and an integer and fulfillingEntity an agent and the HotelReservation, then there exist a collection and a real number such that the collection is an instance of GroupOfPeople and for all a physical if the physical is a member of the collection, then the physical is an instance of HumanAdult and the age of the physical is the real number YearDuration(s) and the real number is greater than or equal to 60 and memberCount the collection and the integer and potentialCustomer the collection and the agent
(=>     (arrested ?ARREST ?OBJ)     (or         (instance ?OBJ Human)         (instance ?OBJ GroupOfPeople)))	Mid-level-ontology.kif 25120-25124	If an agent is placed under arrest during a PlacingUnderArrest, then the agent is an instance of human or the agent is an instance of GroupOfPeople
(=>     (capacityByArrangement ?AREA ?PROP ?INT)     (=>         (represents ?AREA ?PROP)         (modalAttribute             (exists (?GRP ?PPL)                 (and                     (instance ?GRP GroupOfPeople)                     (memberCount ?GRP ?PPL)                     (lessThanOrEqualTo ?PPL ?INT)                     (located ?GRP ?AREA))) Possibility)))	Hotel.kif 794-804	If capacityByArrangement a region, a proposition and an integer, then if the region expresses the proposition, then the statement there exist an entity and another entity such that the entity is an instance of GroupOfPeople and memberCount the entity and the other entity and the other entity is less than or equal to the integer and the entity is located at the region has the modal force of Possibility
(=>     (classmate ?A1 ?A2 ?COURSE)     (exists (?CLASS ?EDU ?TIME)         (and             (instance ?CLASS GroupOfPeople)             (instance ?EDU EducationalProcess)             (realization ?EDU ?COURSE)             (patient ?EDU ?CLASS)             (temporalPart ?TIME                 (WhenFn ?EDU))             (memberAtTime ?A1 ?CLASS ?TIME)             (memberAtTime ?A1 ?CLASS ?TIME))))	Mid-level-ontology.kif 18189-18200	If classmate a human, another human and an EducationalCourse, then there exist a collection, a process and a time position such that the collection is an instance of GroupOfPeople and the process is an instance of educational process and the process expresses the content of the EducationalCourse and the collection is a patient of the process and the time position is a part of the time of existence of the process and the human is a member of the collection during the time position and the human is a member of the collection during the time position
(=>     (instance ?S Soccer)     (exists (?A ?B ?M1 ?M2)         (and             (instance ?A GroupOfPeople)             (memberCount ?A 11)             (instance ?B GroupOfPeople)             (memberCount ?B 11)             (not                 (equal ?A ?B))             (member ?M1 ?A)             (member ?M1 ?B)             (enemy ?M1 ?M2))))	Sports.kif 175-187	If an entity is an instance of Soccer, then there exist a collection, another collection,, , an agent and another agent such that the collection is an instance of GroupOfPeople and memberCount the collection and 11 and the other collection is an instance of GroupOfPeople and memberCount the other collection and 11 and equal the collection and the other collection and the agent is a member of the collection and the agent is a member of the other collection and enemy the agent and the other agent
(=>     (instance ?SVC ShuttleService)     (modalAttribute         (exists (?GRP1 ?GRP2)             (and                 (instance ?GRP1 GroupOfPeople)                 (instance ?GRP2 GroupOfPeople)                 (patient ?SVC ?GRP1)                 (patient ?SVC ?GRP2)                 (not                     (equal ?GRP1 ?GRP2)))) Possibility))	Hotel.kif 2066-2075	If an entity is an instance of ShuttleService, then the statement there exist another entity and a third entity such that the other entity is an instance of GroupOfPeople and the third entity is an instance of GroupOfPeople and the other entity is a patient of the entity and the third entity is a patient of the entity and equal the other entity and the third entity has the modal force of Possibility
(=>     (instance ?X PublicAddressSystem)     (hasPurpose ?X         (exists (?RS ?AREA ?GRP)             (and                 (instance ?AREA LandArea)                 (located ?X ?AREA)                 (instance ?GRP GroupOfPeople)                 (located ?GRP ?AREA)                 (instance ?RS RadiatingSound)                 (instrument ?RS ?X)                 (forall (?PERSON)                     (=>                         (member ?PERSON ?GRP)                         (exists (?HEAR)                             (and                                 (instance ?HEAR Hearing)                                 (patient ?HEAR ?RS)                                 (agent ?HEAR ?PERSON)))))))))	Mid-level-ontology.kif 27992-28010	If a physical is an instance of PublicAddressSystem, 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 land area and the physical is located at the other entity and the third entity is an instance of GroupOfPeople and the third entity is located at the other entity and the entity is an instance of radiating sound and the physical is an instrument for the entity and for all a fourth entity if the fourth entity is a member of the third entity, then there exists a fifth entity such that the fifth entity is an instance of hearing and the entity is a patient of the fifth entity and the fourth entity is an agent of the fifth entity
(=>     (instance ?X Tennis)     (exists (?T1 ?T2)         (and             (contestParticipant ?X ?T1)             (contestParticipant ?X ?T2)             (not                 (equal ?T1 ?T2))             (or                 (instance ?T1 Human)                 (and                     (instance ?T1 GroupOfPeople)                     (memberCount ?T1 2)))             (or                 (instance ?T2 Human)                 (and                     (instance ?T2 GroupOfPeople)                     (memberCount ?T2 2))))))	Sports.kif 869-885	If a contest is an instance of Tennis, then there exist an agent and another agent such that contestParticipant the contest and the agent and contestParticipant the contest and the other agent and equal the agent and the other agent and the agent is an instance of human or the agent is an instance of GroupOfPeople and memberCount the agent and 2 and the other agent is an instance of human or the other agent is an instance of GroupOfPeople and memberCount the other agent and 2

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