| appearance as argument number 1 |
|
| (subclass GroupOfPeople Group) | Merge.kif 16434-16434 | Group of people is a subclass of group |
| (documentation GroupOfPeople EnglishLanguage "Any Group whose members are exclusively Humans.") | Merge.kif 16435-16436 | Group of people is a subclass of group |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain groupMember 2 GroupOfPeople) | Mid-level-ontology.kif 8764-8764 | The number 2 argument of group member is an instance of group of people |
| (domain weatherThreat 2 GroupOfPeople) | Weather.kif 4541-4541 | The number 2 argument of weather threat is an instance of group of people |
| antecedent |
|
|
| (=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human)) |
Merge.kif 16438-16442 | If X is an instance of group of people and Y is a member of X, then Y is an instance of human |
| (=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 8769-8776 | If X is a member of Y holds during Z, X is an instance of human, and Y is an instance of group of people, then X is a member of Y holds during Z |
| (=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3)) |
Mid-level-ontology.kif 24343-24349 | If X is an instance of kidnapping, Y is an instance of group of people, Z is a member count of Y, and Y is a patient of X, then Z is less than 3 |
| (=> (and (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT) (instance ?AGENT GroupOfPeople) (member ?MEMBER ?AGENT)) (exists (?ARREST1) (and (instance ?ARREST1 PlacingUnderArrest) (arrested ?ARREST1 ?MEMBER) (subProcess ?ARREST1 ?ARREST)))) |
Mid-level-ontology.kif 25872-25882 | If X is an instance of placing under arrest, Y is placed under arrest during X, Y is an instance of group of people, and Z is a member of Y, then there exists W such that W is an instance of placing under arrest, Z is placed under arrest during W, and W is a subprocess of X |
| (=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4093-4101 | If X is an instance of spamming, Y is an instance of group of people, Z is a member count of Y, and X ends up at Y, then the statement Z is greater than 100 has the modal force of likely |
| (=> (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 All of the following hold: (1) communal is an attribute of X (2) X is an instance of table (3) Y is an instance of eating (4) Z is an agent of Y (5) Z is an instance of group of people (6) Y is located at X, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an instance of eating (3) W is an agent of V (4) equal Z (5) W (6) W is an instance of group of people (7) V is located at U (8) the time of existence of Y meets the time of existence of V (9) equal X (10) U has the modal force of possibility |
| (=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2 ?E2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely)) |
Dining.kif 1227-1246 | If All of the following hold: (1) X is an instance of restaurant (2) Y is an instance of dining room (3) private attribute is an attribute of Y (4) X possesses Y (5) X is a customer of Z (6) W is an instance of eating (7) Z is an agent of W (8) Z is an instance of group of people, then All of the following hold: (1) the statement there don't exist V (2) U such that X is a customer of V (3) equal Z (4) V (5) U is an instance of eating (6) V is an agent of U (7) U is located at Y holds during the time of existence of W has the modal force of likely |
| (=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB)) |
Hotel.kif 1278-1286 | If All of the following hold: (1) X is an instance of group of people (2) Y is a member of X (3) Z is a member of X (4) Z is an instance of human baby (5) Y is an instance of human adult (6) W is an instance of crib, then Y is interested in W |
| consequent |
|
|
| (=> (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 ?A2 ?CLASS ?TIME)))) |
Mid-level-ontology.kif 18378-18389 | If X and Y were taught in the same EducationalProcess Z together, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of group of people (3) V is an instance of educational process (4) V expresses the content of Z (5) W is a patient of V (6) U is a part of the time of existence of V (7) X is a member of W during U (8) Y is a member of W during U |
| (=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople))) |
Mid-level-ontology.kif 25866-25870 | If X is placed under arrest during Y, then X is an instance of human or X is an instance of group of people |
| (=> (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 28770-28788 | If X is an instance of public address system, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of land area (3) X is located at Z (4) W is an instance of group of people (5) W is located at Z (6) Y is an instance of radiating sound (7) X is an instrument for Y (8) V V is a member of Wthere exists U such that U is an instance of hearing (9) Y is a patient of U (10) V is an agent of U |
| (=> (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 29124-29142 | If X is an instance of fire alarm, device on is an attribute of X, and X is located at Y, then there exists Z such that Z is an instance of radiating sound, X is an instrument for Z, Z has the purpose there exists W such that W is an instance of group of people, W is located at Y, W knows there exists V such that V is an instance of fire, and V is located at Y |
| (=> (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 X is for Y customers, Z fulfills X, and W reserves X, then there exists V such that V is a potential customer for Z, V is an instance of group of people, W is a member of V, and Y is a member count of V |
| (=> (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 All of the following hold: (1) communal is an attribute of X (2) X is an instance of table (3) Y is an instance of eating (4) Z is an agent of Y (5) Z is an instance of group of people (6) Y is located at X, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an instance of eating (3) W is an agent of V (4) equal Z (5) W (6) W is an instance of group of people (7) V is located at U (8) the time of existence of Y meets the time of existence of V (9) equal X (10) U has the modal force of possibility |
| (=> (and (instance ?LE LaborMeanOfProduction) (attribute ?LEO ?LE)) (exists (?GOP) (and (instance ?GOP GroupOfPeople) (equal ?GOP ?LEO)))) |
Economy.kif 6197-6204 | If X is an instance of labour and X is an attribute of Y, then there exists Z such that Z is an instance of group of people, equal Z, and Y |
| (=> (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 X can accommodate at most Y people, Z is an instance of X, and Z is an element of belongings of W, then the statement there exist V, U such that V is an instance of group of people, U is a member count of V, U is less than or equal to Y, and V stays at Z has the modal force of possibility |
| (=> (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 | Assuming X has capacity for Y according to Z, it follows that: if X expresses Z, then the statement there exist W, V such that W is an instance of group of people, V is a member count of W, V is less than or equal to Y, and W is located at X has the modal force of possibility |
| (=> (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 X is an instance of shuttle, then All of the following hold: (1) the statement there exist Y (2) Z such that Y is an instance of group of people (3) Z is an instance of group of people (4) Y is a patient of X (5) Z is a patient of X (6) equal Y (7) Z has the modal force of possibility |
| (=> (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 X may have Y occupants and Z fulfills X, then there exists W such that W is an instance of group of people, human is a member type of W, Y is a member count of W, and W is a potential customer for Z |
| (=> (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 X may have Y adults and Z fulfills X, then there exists W such that W is an instance of group of people, human adult is a member type of W, Y is a member count of W, and W is a potential customer for Z |
| (=> (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 X may have Y children and Z fulfills X, then All of the following hold: (1) there exist W (2) V such that W is an instance of group of people (3) V is a proper sub-collection of W (4) V is an instance of group of people (5) human child is a member type of V (6) Y is a member count of V (7) W is a potential customer for Z |
| (=> (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 X is for Y seniors and Z fulfills X, then there exist W and V such that W is an instance of group of people and U U is a member of WU is an instance of human adult and the age of U is V year duration(s) and V is greater than or equal to 60 and Y is a member count of W and W is a potential customer for Z |
| (=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople))) |
MilitaryProcesses.kif 2720-2726 | If X is an instance of demonstration and Y is an agent of X, then Y is an instance of human or Y is an instance of group of people |
| (=> (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 demo recording is an attribute of X and X is an instance of recording, then X has the purpose there exist Y, Z, W such that Y is an instance of demonstrating, X is a record of W, W is a patient of Y, Y ends up at Z, and Z is an instance of group of people |
| (=> (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 X is an instance of soccer, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of group of people (3) 11 is a member count of Y (4) Z is an instance of group of people (5) 11 is a member count of Z (6) equal Y (7) Z (8) W is a member of Y (9) W is a member of Z (10) W (11) V are enemies of each other |
| (=> (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 X is an instance of tennis, then All of the following hold: (1) there exist Y (2) Z such that Y participates in X (3) Z participates in X (4) equal Y (5) Z (6) Y is an instance of human, Y is an instance of group of people (7) 2 is a member count of Y (8) Z is an instance of human, or Z is an instance of group of people (9) 2 is a member count of Z |
|
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