GroupOfPeople - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3670-3671
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16235-16236
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16234-16234	子類一群人 and Group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 903-903	例聯合參謀長 and 一群人
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 883-883	例聯合工作人員 and 一群人
No TPTP formula. May not be expressible in strict first order.	Media.kif 1993-1993	例 NativityMagi and 一群人
No TPTP formula. May not be expressible in strict first order.	Media.kif 1950-1950	例 TwelveApostles and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8040-8040	範圍公民 and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8029-8029	範圍居民 and 一群人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16244-16244	子類 AgeGroup and 一群人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16592-16592	子類信仰團體 and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16096-16096	子類犯罪團伙 and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15963-15963	子類戲劇性的演員 and 一群人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16587-16587	子類 EthnicGroup and 一群人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16259-16259	子類 FamilyGroup and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16084-16084	子類陪審團 and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18527-18527	子類音樂團體 and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30627-30627	子類 NationalPerson and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26076-26076	子類上市 and 一群人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16272-16272	子類社會單位 and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7524-7524	子類運動隊 and 一群人
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26814-26814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26813-26813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26812-26812

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7557-7557

域小組成員, 2 and 一群人

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	attribute Object and CommunalAttribute 例 Object and 表例 Process and Eating agent Process and AutonomousAgent 例 AutonomousAgent and 一群人 Process 是 located 在 Object 模態屬性 entity entity and Object2 例 entity and Eating agent entity and entity 等於 AutonomousAgent and entity 例 entity and 一群人 entity 是 located 在 Object2 短暫相遇何時 Process and 何時 entity 等於 Object and Object2 and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7562-7569	持有期間 TimePosition and 會員 Entity and Entity 例 Entity and Human 例 Entity and 一群人持有期間 TimePosition and Entity 是 Entity 的 member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23494-23504	例被捕 and 被捕被捕被捕 and AutonomousAgent 例 AutonomousAgent and 一群人會員 AutonomousAgent and AutonomousAgent 被捕例被捕 and 被捕被捕被捕 and AutonomousAgent 子過程被捕 and 被捕
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16238-16242	例 Collection and 一群人會員 Physical and Collection 例 Physical and Human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	例 Collection and 一群人會員 CognitiveAgent and Collection 會員 Physical and Collection 例 Physical and 人類寶貝例 CognitiveAgent and 人類成人例 Entity and Crib 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	例 AutonomousAgent and 餐廳例 Object and 飯廳 attribute Object and PrivateAttribute 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Eating agent Process and CognitiveAgent 例 CognitiveAgent and 一群人模態屬性 entity entity AutonomousAgent 是 entity 的 customer 等於 CognitiveAgent and entity 例 entity and Eating agent entity and entity 持有期間何時 Process and entity 是 located 在 Object and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	例 Process and Spamming 例 Collection and 一群人 Integer 是 Collection 的 member 計數目的地 Process and Collection 模態屬性比較多 Integer and 100 and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21952-21958	例 Process and 綁架例 Collection and 一群人 Integer 是 Collection 的 member 計數患者 Process and Collection 少於 Integer and 3

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	attribute Object and DemoRecording 例 Object and Recording 有目的 Object and entity entity and ObjectUSIC 例 entity and 示範 Object 是個 ObjectUSIC 的 record 患者 entity and ObjectUSIC 目的地 entity and entity 例 entity and 一群人
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	attribute Object and CommunalAttribute 例 Object and 表例 Process and Eating agent Process and AutonomousAgent 例 AutonomousAgent and 一群人 Process 是 located 在 Object 模態屬性 entity entity and Object2 例 entity and Eating agent entity and entity 等於 AutonomousAgent and entity 例 entity and 一群人 entity 是 located 在 Object2 短暫相遇何時 Process and 何時 entity 等於 Object and Object2 and 可能性
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	例 Process and 示範 agent Process and AutonomousAgent 例 AutonomousAgent and Human 例 AutonomousAgent and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26457-26475	例 Object and FireAlarm attribute Object and 設備上位於 Object and Object Process 例 Process and RadiatingSound 儀器 Process and Object 有目的 Process and entity 例 entity and 一群人位於 entity and Object 知道 entity and entity 例 entity and 火 entity 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	StationaryArtifact 能 accommodate 大部分 Integer 的人例 Entity and StationaryArtifact 元件 Entity and 屬性 AutonomousAgent 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer entity stays 在 Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	HotelReservation 也許 have Integer 成人 AutonomousAgent fulfills HotelReservation Collection 例 Collection and 一群人人類成人是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	HotelReservation 也許 have Integer 孩童 AutonomousAgent fulfills HotelReservation Collection Collection 例 Collection and 一群人子集合 Collection and Collection 例 Collection and 一群人人類的孩子是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	HotelReservation 也許 have Integer 居住者 AutonomousAgent fulfills HotelReservation Collection 例 Collection and 一群人 Human 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	Reservation 是對於 PositiveInteger customers AutonomousAgent fulfills Reservation AutonomousAgent reserves Reservation Collection Collection 是個 potential customer 對於 AutonomousAgent 例 Collection and 一群人會員 AutonomousAgent and Collection PositiveInteger 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	HotelReservation 是對於 Integer seniors AutonomousAgent fulfills HotelReservation Collection RealNumber 例 Collection and 一群人 Physical 會員 Physical and Collection 例 Physical and 人類成人年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 60 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23488-23492	被捕被捕 and AutonomousAgent 例 AutonomousAgent and Human 例 AutonomousAgent and 一群人
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	Region 有對於 Integer 的 capacity 根據 Proposition 代表 Region and Proposition 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer 位於 entity and Region and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16816-16827	Human 和 Human 曾經一起參與同一學習過程教育課程 Collection Process and TimePosition 例 Collection and 一群人例 Process and EducationalProcess 實現 Process and 教育課程患者 Process and Collection 時間部分 TimePosition and 何時 Process 時間上的會員 Human, Collection and TimePosition 時間上的會員 Human, Collection and TimePosition
No TPTP formula. May not be expressible in strict first order.	Sports.kif 163-175	例 Entity and 英式足球比賽 Collection Collection, AutonomousAgent and AutonomousAgent 例 Collection and 一群人 11 是 Collection 的 member 計數例 Collection and 一群人 11 是 Collection 的 member 計數等於 Collection and Collection 會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection enemy AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2055-2064	例 Entity and ShuttleService 模態屬性 entity entity 例 entity and 一群人例 entity and 一群人患者 Entity and entity 患者 Entity and entity 等於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26104-26122	例 Physical and PublicAddressSystem 有目的 Physical and entity entity and entity 例 entity and LandArea 位於 Physical and entity 例 entity and 一群人位於 entity and entity 例 entity and RadiatingSound 儀器 entity and Physical entity 會員 entity and entity entity 例 entity and Hearing 患者 entity and entity agent entity and entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	例 Contest and Tennis AutonomousAgent AutonomousAgent AutonomousAgent participates 在 Contest AutonomousAgent participates 在 Contest 等於 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and Human 例 AutonomousAgent and 一群人 2 是 AutonomousAgent 的 member 計數例 AutonomousAgent and Human 例 AutonomousAgent and 一群人 2 是 AutonomousAgent 的 member 計數

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: