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 16041-16042
(subclass GroupOfPeople Group) Merge.kif 16040-16040

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 8013-8013
(range ResidentFn GroupOfPeople) Mid-level-ontology.kif 8002-8002
(subclass AgeGroup GroupOfPeople) Merge.kif 16050-16050
(subclass BeliefGroup GroupOfPeople) Merge.kif 16398-16398
(subclass CriminalGang GroupOfPeople) Mid-level-ontology.kif 15956-15956
(subclass DramaticCast GroupOfPeople) Mid-level-ontology.kif 15823-15823
(subclass EthnicGroup GroupOfPeople) Merge.kif 16393-16393
(subclass FamilyGroup GroupOfPeople) Merge.kif 16065-16065
(subclass Jury GroupOfPeople) Mid-level-ontology.kif 15944-15944
(subclass MusicalGroup GroupOfPeople) Mid-level-ontology.kif 18322-18322
(subclass SocialUnit GroupOfPeople) Merge.kif 16078-16078
(subclass SportsTeam GroupOfPeople) Mid-level-ontology.kif 7497-7497
(termFormat ChineseLanguage GroupOfPeople "一群人") domainEnglishFormat.kif 26804-26804
(termFormat ChineseTraditionalLanguage GroupOfPeople "一群人") domainEnglishFormat.kif 26803-26803
(termFormat EnglishLanguage GroupOfPeople "group of people") domainEnglishFormat.kif 26802-26802

appearance as argument number 3
-------------------------


(domain groupMember 2 GroupOfPeople) Mid-level-ontology.kif 7530-7530

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 7535-7542
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))
Merge.kif 16044-16048
(=>
    (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 4185-4193

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 407-418
(=>
    (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
        (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 ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL HumanAdult)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2883-2892
(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (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 ?RESERVE ?HOTEL))
    (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 ?RESERVE ?HOTEL))
    (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
(=>
    (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 16672-16683
(=>
    (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 162-174
(=>
    (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 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 856-872


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