Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroupOfPeople

 Sigma KEE - GroupOfPeople
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 16257-16258
(subclass GroupOfPeople Group) Merge.kif 16256-16256 子類 一群人 and Group

appearance as argument number 2
-------------------------


(instance JointChiefsOfStaff GroupOfPeople) MilitaryProcesses.kif 903-903 例 聯合參謀長 and 一群人
(instance JointStaff GroupOfPeople) MilitaryProcesses.kif 883-883 例 聯合工作人員 and 一群人
(instance NativityMagi GroupOfPeople) Media.kif 1993-1993 例 NativityMagi and 一群人
(instance TwelveApostles GroupOfPeople) Media.kif 1950-1950 例 TwelveApostles and 一群人
(range CitizenryFn GroupOfPeople) Mid-level-ontology.kif 8039-8039 範圍 公民 and 一群人
(range ResidentFn GroupOfPeople) Mid-level-ontology.kif 8028-8028 範圍 居民 and 一群人
(subclass AgeGroup GroupOfPeople) Merge.kif 16266-16266 子類 AgeGroup and 一群人
(subclass BeliefGroup GroupOfPeople) Merge.kif 16614-16614 子類 信仰團體 and 一群人
(subclass CriminalGang GroupOfPeople) Mid-level-ontology.kif 16095-16095 子類 犯罪團伙 and 一群人
(subclass DramaticCast GroupOfPeople) Mid-level-ontology.kif 15962-15962 子類 戲劇性的演員 and 一群人
(subclass EthnicGroup GroupOfPeople) Merge.kif 16609-16609 子類 EthnicGroup and 一群人
(subclass FamilyGroup GroupOfPeople) Merge.kif 16281-16281 子類 FamilyGroup and 一群人
(subclass Jury GroupOfPeople) Mid-level-ontology.kif 16083-16083 子類 陪審團 and 一群人
(subclass MusicalGroup GroupOfPeople) Mid-level-ontology.kif 18526-18526 子類 音樂團體 and 一群人
(subclass NationalPerson GroupOfPeople) Mid-level-ontology.kif 30615-30615 子類 NationalPerson and 一群人
(subclass Public GroupOfPeople) Mid-level-ontology.kif 26064-26064 子類 上市 and 一群人
(subclass SocialUnit GroupOfPeople) Merge.kif 16294-16294 子類 社會單位 and 一群人
(subclass SportsTeam GroupOfPeople) Mid-level-ontology.kif 7523-7523 子類 運動隊 and 一群人
(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 7556-7556 域 小組成員, 2 and 一群人

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 7561-7568
(=>
    (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 23493-23503
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))		 Merge.kif 16260-16264
(=>
    (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 21951-21957

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 2663-2669
(=>
    (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 26445-26463
(=>
    (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 23487-23491
(=>
    (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 16815-16826
(=>
    (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 26092-26110
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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