GroupOfPeople - Sigma Knowledge base Browser

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	GroupOfPeople ist eine teilkategorie von Group

appearance as argument number 2

(instance JointChiefsOfStaff GroupOfPeople)	MilitaryProcesses.kif 903-903	JointChiefsOfStaff ist ein fall von GroupOfPeople %n{nicht}
(instance JointStaff GroupOfPeople)	MilitaryProcesses.kif 883-883	JointStaff ist ein fall von GroupOfPeople %n{nicht}
(instance NativityMagi GroupOfPeople)	Media.kif 1993-1993	NativityMagi ist ein fall von GroupOfPeople %n{nicht}
(instance TwelveApostles GroupOfPeople)	Media.kif 1950-1950	TwelveApostles ist ein fall von GroupOfPeople %n{nicht}
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 8039-8039	bildbereich von CitizenryFn ist ein fall von GroupOfPeople {nicht}
(range ResidentFn GroupOfPeople)	Mid-level-ontology.kif 8028-8028	bildbereich von ResidentFn ist ein fall von GroupOfPeople {nicht}
(subclass AgeGroup GroupOfPeople)	Merge.kif 16266-16266	AgeGroup ist eine teilkategorie von GroupOfPeople
(subclass BeliefGroup GroupOfPeople)	Merge.kif 16614-16614	BeliefGroup ist eine teilkategorie von GroupOfPeople
(subclass CriminalGang GroupOfPeople)	Mid-level-ontology.kif 16095-16095	CriminalGang ist eine teilkategorie von GroupOfPeople
(subclass DramaticCast GroupOfPeople)	Mid-level-ontology.kif 15962-15962	DramaticCast ist eine teilkategorie von GroupOfPeople
(subclass EthnicGroup GroupOfPeople)	Merge.kif 16609-16609	EthnicGroup ist eine teilkategorie von GroupOfPeople
(subclass FamilyGroup GroupOfPeople)	Merge.kif 16281-16281	FamilyGroup ist eine teilkategorie von GroupOfPeople
(subclass Jury GroupOfPeople)	Mid-level-ontology.kif 16083-16083	Jury ist eine teilkategorie von GroupOfPeople
(subclass MusicalGroup GroupOfPeople)	Mid-level-ontology.kif 18526-18526	MusicalGroup ist eine teilkategorie von GroupOfPeople
(subclass NationalPerson GroupOfPeople)	Mid-level-ontology.kif 30615-30615	NationalPerson ist eine teilkategorie von GroupOfPeople
(subclass Public GroupOfPeople)	Mid-level-ontology.kif 26064-26064	Public ist eine teilkategorie von GroupOfPeople
(subclass SocialUnit GroupOfPeople)	Merge.kif 16294-16294	SocialUnit ist eine teilkategorie von GroupOfPeople
(subclass SportsTeam GroupOfPeople)	Mid-level-ontology.kif 7523-7523	SportsTeam ist eine teilkategorie von GroupOfPeople
(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

Die Zahl 2 Argument von groupMember ist ein fall von GroupOfPeople %n{nicht}

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	Wenn CommunalAttribute ist ein attribut von Object %n{nicht} und Object ist ein fall von Table %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und eventLocated Process and Object, dann die Aussage es gibt entity, entity, and und Object2 um entity ist ein fall von Eating %n{nicht} und entity ist der agent von entity %n{nicht} und AutonomousAgent ist gleich entity nicht und entity ist ein fall von GroupOfPeople %n{nicht} und eventLocated entity and Object2 und die zeit des Bestehens von Process schliesst die zeit des Bestehens von entity zeitlich an und Object ist gleich ** Object2 %n{nicht} hat die modale Kraft von Possibility
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7561-7568	Wenn Entity ist ein Mitglied von Entity %n{nicht} haelt waehrend TimePosition %n{nicht} und Entity ist ein fall von Human %n{nicht} und Entity ist ein fall von GroupOfPeople %n{nicht}, dann groupMember Entity and Entity haelt waehrend TimePosition %n{nicht}
(=> (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	Wenn PlacingUnderArrest ist ein fall von PlacingUnderArrest %n{nicht} und arrested PlacingUnderArrest and AutonomousAgent und AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und AutonomousAgent ist ein Mitglied von AutonomousAgent %n{nicht}, dann es gibt PlacingUnderArrest1 um PlacingUnderArrest1 ist ein fall von PlacingUnderArrest %n{nicht} und arrested PlacingUnderArrest1 and AutonomousAgent und PlacingUnderArrest1 ist ein subProzess von ** PlacingUnderArrest
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human))	Merge.kif 16260-16264	Wenn Collection ist ein fall von GroupOfPeople %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von Human %n{nicht}
(=> (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	Wenn Collection ist ein fall von GroupOfPeople %n{nicht} und CognitiveAgent ist ein Mitglied von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von HumanBaby %n{nicht} und CognitiveAgent ist ein fall von HumanAdult %n{nicht} und Entity ist ein fall von Crib %n{nicht}, dann CognitiveAgent ist an Entity interessiert %n{nicht}
(=> (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	Wenn AutonomousAgent ist ein fall von Restaurant %n{nicht} und Object ist ein fall von DiningRoom %n{nicht} und PrivateAttribute ist ein attribut von Object %n{nicht} und AutonomousAgent besitzt Object %n{nicht} und customer CognitiveAgent and AutonomousAgent und Process ist ein fall von Eating %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und CognitiveAgent ist ein fall von GroupOfPeople %n{nicht}, dann die Aussage es gibt nicht entity und entity um customer entity and AutonomousAgent und CognitiveAgent ist gleich entity nicht und entity ist ein fall von Eating %n{nicht} und entity ist der agent von entity %n{nicht} und eventLocated entity and Object haelt waehrend die zeit des Bestehens von ** Process %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely))	ComputingBrands.kif 4187-4195	Wenn Process ist ein fall von Spamming %n{nicht} und Collection ist ein fall von GroupOfPeople %n{nicht} und memberCount Collection and Integer und Process endet an Collection %n{nicht}, dann die Aussage Integer ist groesserAls 100 %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3))	Mid-level-ontology.kif 21951-21957	Wenn Process ist ein fall von Kidnapping %n{nicht} und Collection ist ein fall von GroupOfPeople %n{nicht} und memberCount Collection and Integer und Collection ist ein patient von Process %n{nicht}, dann Integer ist kleinerAls 3 %n{nicht}

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	Wenn DemoRecording ist ein attribut von Object %n{nicht} und Object ist ein fall von Recording %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und ObjectUSIC um entity ist ein fall von Demonstrating %n{nicht} und record Object and ObjectUSIC und ObjectUSIC ist ein patient von entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von GroupOfPeople %n{nicht} %n{nicht}
(=> (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	Wenn CommunalAttribute ist ein attribut von Object %n{nicht} und Object ist ein fall von Table %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und eventLocated Process and Object, dann die Aussage es gibt entity, entity, and und Object2 um entity ist ein fall von Eating %n{nicht} und entity ist der agent von entity %n{nicht} und AutonomousAgent ist gleich entity nicht und entity ist ein fall von GroupOfPeople %n{nicht} und eventLocated entity and Object2 und die zeit des Bestehens von Process schliesst die zeit des Bestehens von entity zeitlich an und Object ist gleich ** Object2 %n{nicht} hat die modale Kraft von Possibility
(=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2663-2669	Wenn Process ist ein fall von Demonstration %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann AutonomousAgent ist ein fall von Human %n{nicht} oder ** AutonomousAgent ist ein fall von GroupOfPeople %n{nicht}
(=> (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	Wenn Object ist ein fall von FireAlarm %n{nicht} und DeviceOn ist ein attribut von Object %n{nicht} und Object befindet sich an %n{nicht}, dann es gibt Process um Process ist ein fall von RadiatingSound %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process hat Zweck von es gibt entity um entity ist ein fall von GroupOfPeople %n{nicht} und entity befindet sich an %n{nicht} und entity kennt es gibt entity um entity ist ein fall von Fire %n{nicht} und eventLocated entity and ** Object %n{nicht} %n{nicht}
(=> (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	Wenn maxRoomCapacity StationaryArtifact and Integer und Entity ist ein fall von StationaryArtifact %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von GroupOfPeople %n{nicht} und memberCount entity and entity und entity ist kleinerAlsOderGleich Integer %n{nicht} und stays entity and ** Entity hat die modale Kraft von Possibility
(=> (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	Wenn numberAdultOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection um Collection ist ein fall von GroupOfPeople %n{nicht} und memberType Collection and HumanAdult und memberCount Collection and Integer und potentialCustomer Collection and ** AutonomousAgent
(=> (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	Wenn numberChildOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection und Collection um Collection ist ein fall von GroupOfPeople %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und Collection ist ein fall von GroupOfPeople %n{nicht} und memberType Collection and HumanChild und memberCount Collection and Integer und potentialCustomer Collection and ** AutonomousAgent
(=> (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	Wenn numberOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection um Collection ist ein fall von GroupOfPeople %n{nicht} und memberType Collection and Human und memberCount Collection and Integer und potentialCustomer Collection and ** AutonomousAgent
(=> (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	Wenn numberOfCustomers PositiveInteger and Reservation und fulfillingEntity AutonomousAgent and Reservation und reservingEntity AutonomousAgent and Reservation, dann es gibt Collection um potentialCustomer Collection and AutonomousAgent und Collection ist ein fall von GroupOfPeople %n{nicht} und AutonomousAgent ist ein Mitglied von Collection %n{nicht} und memberCount Collection and ** PositiveInteger
(=> (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	Wenn numberSeniorOccupant HotelReservation and Integer und fulfillingEntity AutonomousAgent and HotelReservation, dann es gibt Collection und RealNumber um Collection ist ein fall von GroupOfPeople %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von HumanAdult %n{nicht} und das alter von Physical ist RealNumber YearDuration(s) %n{nicht} und RealNumber ist groesserAlsOderGleich 60 %n{nicht} und memberCount Collection and Integer und potentialCustomer Collection and AutonomousAgent
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople)))	Mid-level-ontology.kif 23487-23491	Wenn arrested PlacingUnderArrest and AutonomousAgent, dann AutonomousAgent ist ein fall von Human %n{nicht} oder AutonomousAgent ist ein fall von GroupOfPeople %n{nicht}
(=> (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	Wenn capacityByArrangement Region, Proposition and Integer, dann wenn Region drueckt Proposition aus, dann die Aussage es gibt entity und entity um entity ist ein fall von GroupOfPeople %n{nicht} und memberCount entity and entity und entity ist kleinerAlsOderGleich Integer %n{nicht} und ** entity befindet sich an %n{nicht} hat die modale Kraft von Possibility
(=> (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	Wenn classmate Human, Human and EducationalCourse, dann es gibt Collection, Process, and und TimePosition um Collection ist ein fall von GroupOfPeople %n{nicht} und Process ist ein fall von EducationalProcess %n{nicht} und Process druekt den Inhalt von EducationalCourse aus und Collection ist ein patient von Process %n{nicht} und TimePosition ist ein teil von die zeit des Bestehens von Process %n{nicht} und memberAtTime Human, Collection and TimePosition und memberAtTime Human, Collection and ** TimePosition
(=> (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	Wenn Entity ist ein fall von Soccer %n{nicht}, dann es gibt Collection, Collection,, , AutonomousAgent, and und AutonomousAgent um Collection ist ein fall von GroupOfPeople %n{nicht} und memberCount Collection and 11 und Collection ist ein fall von GroupOfPeople %n{nicht} und memberCount Collection and 11 und Collection ist gleich Collection nicht und AutonomousAgent ist ein Mitglied von Collection %n{nicht} und AutonomousAgent ist ein Mitglied von Collection %n{nicht} und enemy AutonomousAgent and ** AutonomousAgent
(=> (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	Wenn Entity ist ein fall von ShuttleService %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von GroupOfPeople %n{nicht} und entity ist ein fall von GroupOfPeople %n{nicht} und entity ist ein patient von Entity %n{nicht} und entity ist ein patient von Entity %n{nicht} und entity ist gleich entity nicht hat die modale Kraft von Possibility
(=> (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	Wenn Physical ist ein fall von PublicAddressSystem %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von LandArea %n{nicht} und Physical befindet sich an %n{nicht} und entity ist ein fall von GroupOfPeople %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von RadiatingSound %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und fuer alle entity wenn entity ist ein Mitglied von entity %n{nicht}, dann es gibt entity um entity ist ein fall von Hearing %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist der agent von entity %n{nicht} %n{nicht}
(=> (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	Wenn Contest ist ein fall von Tennis %n{nicht}, dann es gibt AutonomousAgent und AutonomousAgent um contestParticipant Contest and AutonomousAgent und contestParticipant Contest and AutonomousAgent und AutonomousAgent ist gleich AutonomousAgent nicht und AutonomousAgent ist ein fall von Human %n{nicht} oder AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und memberCount AutonomousAgent and 2 und AutonomousAgent ist ein fall von Human %n{nicht} oder AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und memberCount AutonomousAgent and 2

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

KB Term:			Term intersection

English Word: