involvedInEvent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - involvedInEvent

involvedInEvent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1863-1864
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2409-2410
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 486-487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2414-2414	域參與活動, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2415-2415	域參與活動, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2413-2413	例參與活動 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2412-2412	例參與活動 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1389-1389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1388-1388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1387-1387
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2435-2435	子關係 agent and 參與活動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2446-2446	子關係目的地 and 參與活動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16962-16962	子關係方向 and 參與活動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4117-4117	子關係 eventPartlyLocated and 參與活動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	子關係體驗者 and 參與活動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11009-11009	子關係移動 and 參與活動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2484-2484	子關係起源 and 參與活動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2497-2497	子關係患者 and 參與活動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30901-30901
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30900-30900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30899-30899

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 119-121	子關係 Relation and 參與活動例 Relation and CaseRole
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	例 Process and Epidemic AutonomousAgent 是事件 Process 的 involved 例 Attribute and DiseaseOrSyndrome attribute AutonomousAgent and Attribute Process 例 Process and PathologicProcess 體驗者 Process and AutonomousAgent 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9773-9794	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and MoodStabilizer 例 Process and ProcessC AutonomousAgent 是事件 Process 的 involved 持有期間何時 Process and attribute AutonomousAgent and ProcessS 例 ProcessS and EmotionalState 例 Process2 and ProcessC AutonomousAgent 是事件 Process2 的 involved 早期何時 Process2 and 何時 Transfer 模態屬性持有期間 Process2 and attribute AutonomousAgent and ProcessS and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7939-7946	例 Process and LargeGroupProcess 例 Collection and Collection 會員 Physical and Collection Physical 是事件 Process 的 involved Integer 是 Collection 的 member 計數比較多 Integer and 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	例 Process and LargeGroupProcess 例 Collection and Collection 會員 Physical and Collection Physical 是事件 Process 的 involved Class ClassC 例 ClassC and Class Physical 是事件 ClassC 的 involved

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30211-30224	持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 例 Entity2 and AutonomousAgent 例 Process and SocialInteraction 期間何時 Process and TimeInterval Entity 是事件 Process 的 involved Entity2 是事件 Process 的 involved
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	例 Process and LargeGroupProcess 例 Collection and Collection 會員 Physical and Collection Physical 是事件 Process 的 involved Class ClassC 例 ClassC and Class Physical 是事件 ClassC 的 involved
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	attribute Object and 生產平均值有目的 Object and entity entity 例 entity and Making Object 是事件 entity 的 involved 結果 entity and Object 例 entity and Artifact 結果 entity and entity 有目的 entity and entity 例 entity and Selling 患者 entity and entity entity 例 entity and 商業服務 Object 是事件 entity 的 involved
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18407-18414	等於 Organization and DepartmentOfPreventingFn Organization and Physical 慾望 Organization and entity 例 entity and Physical Organization 是事件 entity 的 involved
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	hazardous Physical and Object 模態屬性 entity 例 entity and Damaging 患者 entity and Object Physical 是事件 entity 的 involved 原因 Physical and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9746-9754	持有期間 TimeInterval and attribute Entity and PostTraumaticStressDisorder Process 例 Process and ViolentContest 早期何時 Process and TimeInterval Entity 是事件 Process 的 involved
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3537-3561	例 Process and Pandemic Entity Entity, Entity, Entity, Entity and Entity Entity 是事件 Process 的 involved Entity 是事件 Process 的 involved 等於 Entity and Entity 例 Entity and Nation 例 Entity and Nation 等於 Entity and Entity 例 Entity and Continent 例 Entity and Continent 等於 Entity and Entity 持有期間何時 Process and 位於 Entity and Entity 位於 Entity and Entity 位於 Entity and Entity 位於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13026-13035	例 Process and SocialInteraction Entity Entity Entity 是事件 Process 的 involved Entity 是事件 Process 的 involved 例 Entity and AutonomousAgent 例 Entity and AutonomousAgent 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5893-5903	例 Entity and Parasite 模態屬性 entity EntityROC 位於 Entity and entity Entity 是事件 EntityROC 的 involved entity 是事件 EntityROC 的 involved 好處 EntityROC and Entity entity suffers 從 EntityROC and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2427-2429	例 Relation and CaseRole 子關係 Relation and 參與活動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30195-30206	方式 Process and Solely Entity Entity 是事件 Process 的 involved 例 Entity and AutonomousAgent Entity2 Entity2 是事件 Process 的 involved 例 Entity2 and AutonomousAgent 等於 Entity and Entity2

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