GroupOfPeople |
appearance as argument number 1 |
(documentation GroupOfPeople ChineseLanguage "这是 member 只限属于 Human 的任何 Group。") | chinese_format.kif 3670-3671 | |
(documentation GroupOfPeople EnglishLanguage "Any Group whose members are exclusively Humans.") | Merge.kif 16306-16307 | |
(subclass GroupOfPeople Group) | Merge.kif 16305-16305 |
appearance as argument number 2 |
(instance JointChiefsOfStaff GroupOfPeople) | MilitaryProcesses.kif 903-903 | |
(instance JointStaff GroupOfPeople) | MilitaryProcesses.kif 883-883 | |
(instance NativityMagi GroupOfPeople) | Media.kif 1993-1993 | |
(instance TwelveApostles GroupOfPeople) | Media.kif 1950-1950 | |
(range CitizenryFn GroupOfPeople) | Mid-level-ontology.kif 8067-8067 | |
(range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 8056-8056 | |
(subclass AgeGroup GroupOfPeople) | Merge.kif 16315-16315 | |
(subclass BeliefGroup GroupOfPeople) | Merge.kif 16663-16663 | |
(subclass CriminalGang GroupOfPeople) | Mid-level-ontology.kif 16123-16123 | |
(subclass DramaticCast GroupOfPeople) | Mid-level-ontology.kif 15990-15990 | |
(subclass EthnicGroup GroupOfPeople) | Merge.kif 16658-16658 | |
(subclass FamilyGroup GroupOfPeople) | Merge.kif 16330-16330 | |
(subclass Jury GroupOfPeople) | Mid-level-ontology.kif 16111-16111 | |
(subclass MusicalGroup GroupOfPeople) | Mid-level-ontology.kif 18554-18554 | |
(subclass NationalPerson GroupOfPeople) | Mid-level-ontology.kif 30651-30651 | |
(subclass Public GroupOfPeople) | Mid-level-ontology.kif 26109-26109 | |
(subclass SocialUnit GroupOfPeople) | Merge.kif 16343-16343 | |
(subclass SportsTeam GroupOfPeople) | Mid-level-ontology.kif 7551-7551 | |
(termFormat ChineseLanguage GroupOfPeople "一群人") | domainEnglishFormat.kif 26814-26814 | |
(termFormat ChineseTraditionalLanguage GroupOfPeople "一群人") | domainEnglishFormat.kif 26813-26813 | |
(termFormat EnglishLanguage GroupOfPeople "group of people") | domainEnglishFormat.kif 26812-26812 |
appearance as argument number 3 |
(domain groupMember 2 GroupOfPeople) | Mid-level-ontology.kif 7584-7584 |
antecedent |
(=> (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 | |
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 7589-7596 | |
(=> (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 23546-23556 | |
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human)) |
Merge.kif 16309-16313 | |
(=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB)) |
Hotel.kif 1270-1278 | |
(=> (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 | |
(=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4187-4195 | |
(=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3)) |
Mid-level-ontology.kif 22004-22010 |
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 408-419 | |
(=> (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 | |
(=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople))) |
MilitaryProcesses.kif 2714-2720 | |
(=> (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 26490-26508 | |
(=> (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 | |
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2883-2892 | |
(=> (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 2903-2914 | |
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2864-2873 | |
(=> (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 | |
(=> (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 2925-2940 | |
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople))) |
Mid-level-ontology.kif 23540-23544 | |
(=> (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 790-800 | |
(=> (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 16843-16854 | |
(=> (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 163-175 | |
(=> (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 2055-2064 | |
(=> (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 26137-26155 | |
(=> (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 857-873 |