Sigma KB Term Intersection

(=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ)))))	Cars.kif 3389-3417	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (exists (?PERSON) (and (instance ?PERSON Human) (wears ?PERSON ?PE))) (exists (?PROTECT ?EYE ?INJ ?I ?T) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ))))))	Cars.kif 3482-3509	例 Physical and 防護眼鏡有目的 Physical and PhysicalRSON 例 PhysicalRSON and Human 穿 PhysicalRSON and Physical entity entity, entity, entity and entity 例 entity and Process 儀器 entity and Physical 子類 entity and 卡帕 entity and entity 例 entity and Injuring 例 entity and 眼睛例 entity and Human 適當的部分 entity and entity 患者 entity and entity 持有期間 entity and 患者 entity and PhysicalRSON 持有期間 entity and 患者 entity and PhysicalRSON 防止 entity and entity
(=> (instance ?TEAM CrossFunctionalTeam) (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST) (and (subclass ?SKILL Process) (instance ?MEMBER1 Human) (instance ?MEMBER2 Human) (member ?MEMBER1 ?TEAM) (member ?MEMBER2 ?TEAM) (hasSkill ?SKILL ?MEMBER1) (not (hasSkill ?SKILL ?MEMBER2)) (instance ?INST ?SKILL) (inScopeOfInterest ?TEAM ?INST))))	UXExperimentalTerms.kif 2630-2643	例 Collection and CrossFunctionalTeam Process AutonomousAgent, AutonomousAgent and Entity 子類 Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Human 會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection 有技巧 Process and AutonomousAgent 有技巧 Process and AutonomousAgent 例 Entity and Process 在感興趣的範圍內 Collection and Entity
(=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP)))))	Cars.kif 3447-3476	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
(=> (and (instance ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL))))))))))	Cars.kif 3531-3552	例可穿戴物品 and 呼吸器例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity, entity and entity 例 entity and Process 儀器 entity and 可穿戴物品防止 entity and entity 子類 entity and 卡帕 entity and 例 entity and Injuring entity 例 entity and Human 患者 entity and entity 例 entity and 吸入 agent entity and entity 原因 entity and entity
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182	例 Catalog and Menu Entity 是在 Catalog 子類 Entity and food for Human
(=> (and (subclass ?T1C Tissue) (subclass ?T2C Tissue) (instance ?T1 ?T1C) (instance ?T2 ?T2C) (instance ?H Human) (part ?T1 ?H) (part ?T2 ?H) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely))	Merge.kif 15166-15187	子類 Class and Tissue 子類 Class and Tissue 例 Object and Class 例 Object and Class 例 Object and Human 部分 Object and Object 部分 Object and Object 等於 Class and Class 子類 Class and Class 子類 Class and Class 方位 Object, Object and 鄰模態屬性 entity 例 entity and ConnectiveTissue 之間 Object, entity and Object and 容易
(=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human) (subclass ?SEE Seeing) (forall (?INST) (=> (instance ?INST ?SEE) (patient ?INST ?STAGE)))) (capability ?SEE agent ?PERSON))	Mid-level-ontology.kif 7351-7365	例 Object and 禮堂座位部分 Object and Object 部分 Object and Object 例 Object and 禮堂例 Object and 表演階段位於 Object and Object 例 Object and Human 子類 Process and Seeing Process 例 Process and Process 患者 Process and Object 能力 Process, agent and Object
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 ?CLASS1) (subclass ?CLASS1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?CLASS1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2 ?CLASS2) (and (instance ?EXPERIMENT2 ?CLASS2) (member ?EXPERIMENT2 ?TESTCOL2) (subclass ?CLASS2 Experimenting) (capability ?CLASS2 experimentalSubject ?SUBJECT))))	UXExperimentalTerms.kif 4467-4480	Collection 和 Collection 是 orthogonal tests 例 Object and Human 例 Physical and Process 子類 Process and 試驗會員 Physical and Collection 能力 Process, experimentalSubject and Object Physical Process 例 Physical and Process 會員 Physical and Collection 子類 Process and 試驗能力 Process, experimentalSubject and Object
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human)))	Geography.kif 2815-2818	子類 Class and 飲用水子類 Class and food for Human
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 895-906	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(subclass Human Hominid)	Merge.kif 14643-14643	子類 Human and Hominid
(subclass Human CognitiveAgent)	Merge.kif 14644-14644	子類 Human and CognitiveAgent
(subclass HumanAdult Human)	Mid-level-ontology.kif 185-185	子類人類成人 and Human
(subclass HumanYouth Human)	Mid-level-ontology.kif 248-248	子類人類青年 and Human
(subclass Teenager Human)	Mid-level-ontology.kif 320-320	子類青少年 and Human
(subclass Man Human)	Merge.kif 14649-14649	子類人 and Human
(subclass Woman Human)	Merge.kif 14656-14656	子類女人 and Human

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