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 16306-16307
(subclass GroupOfPeople Group) Merge.kif 16305-16305 子類 一群人 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 8067-8067 範圍 公民 and 一群人
(range ResidentFn GroupOfPeople) Mid-level-ontology.kif 8056-8056 範圍 居民 and 一群人
(subclass AgeGroup GroupOfPeople) Merge.kif 16315-16315 子類 AgeGroup and 一群人
(subclass BeliefGroup GroupOfPeople) Merge.kif 16663-16663 子類 信仰團體 and 一群人
(subclass CriminalGang GroupOfPeople) Mid-level-ontology.kif 16123-16123 子類 犯罪團伙 and 一群人
(subclass DramaticCast GroupOfPeople) Mid-level-ontology.kif 15990-15990 子類 戲劇性的演員 and 一群人
(subclass EthnicGroup GroupOfPeople) Merge.kif 16658-16658 子類 EthnicGroup and 一群人
(subclass FamilyGroup GroupOfPeople) Merge.kif 16330-16330 子類 FamilyGroup and 一群人
(subclass Jury GroupOfPeople) Mid-level-ontology.kif 16111-16111 子類 陪審團 and 一群人
(subclass MusicalGroup GroupOfPeople) Mid-level-ontology.kif 18554-18554 子類 音樂團體 and 一群人
(subclass NationalPerson GroupOfPeople) Mid-level-ontology.kif 30651-30651 子類 NationalPerson and 一群人
(subclass Public GroupOfPeople) Mid-level-ontology.kif 26109-26109 子類 上市 and 一群人
(subclass SocialUnit GroupOfPeople) Merge.kif 16343-16343 子類 社會單位 and 一群人
(subclass SportsTeam GroupOfPeople) Mid-level-ontology.kif 7551-7551 子類 運動隊 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 7584-7584 域 小組成員, 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 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 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 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


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