(=>     (and         (instance ?MENU BeverageMenu)         (catalogItem ?X ?MENU))     (subclass ?X Beverage))	Dining.kif 208-212	如果 Catalog 是 BeverageMenu 的 instance 和 有点 实体 是在 那个 Catalog ， 然后 有点 实体 是 饮料 的 subclass
(=>     (and         (instance ?MENU Menu)         (catalogItem ?X ?MENU))     (subclass ?X         (FoodForFn Human)))	Dining.kif 178-182	如果 Catalog 是 Menu 的 instance 和 有点 实体 是在 那个 Catalog ， 然后 有点 实体 是 food for 人类 的 subclass
(=>     (and         (instance ?MENU WineMenu)         (catalogItem ?X ?MENU))     (subclass ?X WineMenu))	Dining.kif 229-233	如果 Catalog 是 WineMenu 的 instance 和 有点 实体 是在 那个 Catalog ， 然后 有点 实体 是 WineMenu 的 subclass
(=>     (and         (instance ?P Plant)         (part ?TIS ?P))     (exists (?K ?W ?CLASS)         (and             (instance ?K ?CLASS)             (subclass ?CLASS Keeping)             (instance ?W FreshWater)             (patient ?K ?W)             (capability ?CLASS instrument ?TIS)             (or                 (instance ?TIS PlantLeaf)                 (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 9560-9573	如果 客体 是 植物 的 instance 和 另一个 客体 是 那个 客体 的 part， 然后 有存在 过程， 实体， and 和 另一个 有点 过程 这样 那个 过程 是 另一个 有点 过程 的 instance 和 那个 另外 有点 过程 是 保存 的 subclass 和 那个 实体 是 淡水 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 另外 客体 能够担当 工具 的角色做 那个 另外 有点 过程 和 那个 另外 客体 是 PlantLeaf 的 instance 或 那个 另外 客体 是 PlantStem 的 instance
(=>     (and         (instance ?REL EconomicRelation)         (domain ?REL 1 ?CLASS))     (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 16904-16908	如果 关系 是 经济关系 的 instance 和 那个 关系 的 1 数量 是 类 的 instance， 然后 那个 类 是 地缘政治区域 的 subclass
(=>     (and         (instance ?SEQ SequenceFunction)         (range ?SEQ ?CLASS))     (subclass ?CLASS Integer))	Merge.kif 3392-3396	如果 函数 是 序列函数 的 instance 和 那个 函数 的 range 是 类 的实例， 然后 那个 类 是 整数 的 subclass
(=>     (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 3397-3425	如果 可穿戴物品 是 安全套 的 instance 和 动物 是 动物 的 instance 和 那个 动物 wears 那个 可穿戴物品， 然后 那个 可穿戴物品 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 过程 的 instance 和 那个 可穿戴物品 是导致 那个 实体 的 instrument 和 那个 动物 是 那个 实体 的 patient 和 那个 另外 实体 是 那个 第三 实体 所描述的类别 的 subclass 和 那个 实体 prevents 那个 另外 实体 的发生
(=>     (and         (instance ?SKI SnowSki)         (material ?MAT ?SKI))     (or         (subclass ?MAT Metal)         (subclass ?MAT Wood)         (subclass ?MAT Plastic)))	Sports.kif 1041-1048	如果 躯体性物体 是 SnowSki 的 instance 和 有点 物质 是 那个 躯体性物体 的材料， 然后 有点 物质 是 金属 的 subclass 或 那个 有点 物质 是 木 的 subclass 或 那个 有点 物质 是 塑料 的 subclass
(=>     (and         (instance ?V ViolentContest)         (patient ?V ?H)         (attribute ?H             (InjuryCausedFn ?PC))         (attribute ?H             (ImpairedBodyPartFn Airway)))     (modalAttribute         (or             (subclass ?PC Combustion)             (exists (?FI)                 (and                     (instance ?I Injuring)                     (located ?I ?F)                     (instance ?F Face)                     (patient ?I ?H)))) Likely))	Medicine.kif 698-715	如果 过程 是 暴力比赛 的 instance 和 客体 是 那个 过程 的 patient 和 InjuryCausedFn 另一个 有点 过程 是 那个 客体 的 attribute 和 ImpairedBodyPartFn 空中航线 是 那个 客体 的 attribute， 然后 另一个 有点 过程 是 燃烧 的 subclass 或 有存在 实体 这样 另一个 实体 是 受伤 的 instance 和 那个 另外 实体 是 located 在 第三 实体 和 那个 第三 实体 是 面对 的 instance 和 那个 客体 是 那个 另外 实体 的 patient 的声明 has 容易 的语气
(=>     (and         (instance ?WED Wedding)         (date ?WED ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?CLASS ?FUTURE)         (and             (weddingAnniversary ?WED ?CLASS)             (subclass ?CLASS Day)             (instance ?FUTURE Integer)             (equal ?CLASS                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?FUTURE))))             (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24194-24205	如果 物理 是 婚礼 的 instance 和 那个 物理 的 date 是 日 和 那个 日 是 正整数 day 的 instance， 然后 有存在 另一个 有点 日 和 整数 这样 weddingAnniversary 那个 物理 and 另一个 有点 日 和 那个 另外 有点 日 是 日 的 subclass 和 那个 整数 是 整数 的 instance 和 那个 另外 有点 日 equal 那个 正整数 day 和 那个 整数 是 greaterThan 另一个 整数
(=>     (and         (instance ?X BreakingRecord)         (agent ?X ?A1))     (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)         (and             (instance ?AC Set)             (element ?A1 ?AC)             (subclass ?PC Process)             (instance ?L Region)             (instance ?TP TimePoint)             (instance ?Q Quantity)             (instance ?P1 ?PC)             (refers ?X ?Q)             (refers ?Q ?P1)             (playsRoleInEvent ?A1 ?ROLE ?P1)             (eventLocated ?P1 ?L)             (not                 (exists (?A2 ?P2)                     (and                         (instance ?A2 ?AC)                         (not                             (equal ?A2 ?A1))                         (instance ?P2 ?PC)                         (holdsDuring                             (TimeIntervalFn ?TP                                 (EndFn                                     (WhenFn ?X)))                             (and                                 (playsRoleInEvent ?A2 ?ROLE ?P2)                                 (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 30018-30048	如果 过程 是 BreakingRecord 的 instance 和 施事体 是 那个 过程 的 agent， 然后 有存在 集合， 类,， ， 另一个 过程,， ， 时点,， ， 格角色,， ， 客体， and 和 实体 这样 那个 集合 是 集合 的 instance 和 那个 施事体 是 那个 集合 的 element 和 那个 类 是 过程 的 subclass 和 那个 客体 是 地区 的 instance 和 那个 时点 是 时点 的 instance 和 那个 实体 是 数量 的 instance 和 那个 另外 过程 是 那个 类 的 instance 和 那个 过程 提到 那个 实体 和 那个 实体 提到 那个 另外 过程 和 那个 施事体 对于 那个 另外 过程 在事件 那个 格角色 plays 角色 和 那个 另外 过程 是 located 在 那个 客体 和 不存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 那个 集合 的 instance 和 那个 另外 实体 不 equal 那个 施事体 和 那个 第三 实体 是 那个 类 的 instance 和 那个 另外 实体 对于 那个 第三 实体 在事件 那个 格角色 plays 角色 和 那个 第三 实体 是 located 在 那个 客体 在 那个 时点 和 那个 过程 出现 的 time 的结束 间的时段 holdsDuring
(=>     (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 3539-3560	如果 可穿戴物品 是 呼吸器 的 instance 和 动物 是 动物 的 instance 和 那个 动物 wears 那个 可穿戴物品， 然后 那个 可穿戴物品 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 第三 实体 是 过程 的 instance 和 那个 可穿戴物品 是导致 那个 第三 实体 的 instrument 和 那个 第三 实体 prevents 那个 另外 实体 的发生 和 那个 另外 实体 是 那个 第四 实体 所描述的类别 的 subclass
(=>     (and         (or             (instance ?ROLE OccupationalTrade)             (instance ?ROLE Profession))         (holdsDuring ?T1             (attribute ?HUMAN ?ROLE)))     (exists (?FIELD)         (and             (subclass ?FIELD FieldOfStudy)             (holdsDuring ?T1                 (hasExpertise ?HUMAN ?FIELD)))))	Mid-level-ontology.kif 8292-8301	如果 实体 是 职业贸易 的 instance 或 那个 实体 是 职业 的 instance 和 那个 实体 是 另一个 实体 的 attribute 在 时间位置 holdsDuring， 然后 有存在 类 这样 那个 类 是 研究领域 的 subclass 和 那个 类 有 在 那个 另外 实体 的专业知识 在 那个 时间位置 holdsDuring
(=>     (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	如果 群体 和 另一个 群体 是 orthogonal tests 和 客体 是 人类 的 instance 和 物理 是 有点 过程 的 instance 和 有点 过程 是 试验 的 subclass 和 那个 物理 是 那个 群体 的 member 和 那个 客体 能够担当 experimentalSubject 的角色做 那个 有点 过程， 然后 有存在 另一个 物理 和 另一个 有点 过程 这样 那个 另外 物理 是 另一个 有点 过程 的 instance 和 那个 另外 物理 是 那个 另外 群体 的 member 和 那个 另外 有点 过程 是 试验 的 subclass 和 那个 客体 能够担当 experimentalSubject 的角色做 那个 另外 有点 过程
(=>     (and         (range ?REL ?CLASS1)         (range ?REL ?CLASS2))     (or         (subclass ?CLASS1 ?CLASS2)         (subclass ?CLASS2 ?CLASS1)))	Merge.kif 324-330	如果 函数 的 range 是 类 的实例 和 那个 函数 的 range 是 另一个 类 的实例， 然后 那个 类 是 那个 另外 类 的 subclass 或 那个 另外 类 是 那个 类 的 subclass
(=>     (and         (rangeSubclass ?FUNCTION ?CLASS)         (equal             (AssignmentFn ?FUNCTION @ROW) ?VALUE))     (subclass ?VALUE ?CLASS))	Merge.kif 339-343	如果 函数 的所得值 是 有点 类 的 subclass 和 那个 函数(@ROW) equal 另一个 类， 然后 那个 另外 类 是 有点 类 的 subclass
(=>     (and         (rangeSubclass ?REL ?CLASS1)         (rangeSubclass ?REL ?CLASS2))     (or         (subclass ?CLASS1 ?CLASS2)         (subclass ?CLASS2 ?CLASS1)))	Merge.kif 351-357	如果 函数 的所得值 是 有点 类 的 subclass 和 那个 函数 的所得值 是 另一个 有点 类 的 subclass， 然后 有点 类 是 另一个 有点 类 的 subclass 或 那个 另外 有点 类 是 那个 有点 类 的 subclass
(=>     (and         (sheddingLeaves ?T ?L)         (instance ?T DeciduousTree)         (instance ?L PlantLeaf))     (exists (?SHED ?S)         (and             (subclass ?SHED Removing)             (frequency ?SHED YearDuration)             (instance ?S ?SHED)             (origin ?S ?T)             (patient ?S ?L))))	Geography.kif 6393-6404	如果 sheddingLeaves 植物 and PlantLeaf 和 那个 植物 是 DeciduousTree 的 instance 和 那个 PlantLeaf 是 PlantLeaf 的 instance， 然后 有存在 有点 过程 和 另一个 过程 这样 有点 过程 是 移除 的 subclass 和 那个 有点 过程 每 年持续时间 发生一次 和 那个 另外 过程 是 那个 有点 过程 的 instance 和 那个 植物 是 那个 另外 过程 的源头 和 那个 PlantLeaf 是 那个 另外 过程 的 patient
(=>     (attribute ?DOCTOR MedicalDoctor)     (exists (?PROCESS1 ?PROCESS2)         (and             (subclass ?PROCESS1 DiagnosticProcess)             (subclass ?PROCESS2 TherapeuticProcess)             (capability ?PROCESS1 agent ?DOCTOR)             (capability ?PROCESS2 agent ?DOCTOR))))	Mid-level-ontology.kif 21035-21042	如果 医生 是 客体 的 attribute， 然后 有存在 有点 过程 和 另一个 有点 过程 这样 有点 过程 是 诊断过程 的 subclass 和 另一个 有点 过程 是 治疗过程 的 subclass 和 那个 客体 能够担当 主事 的角色做 那个 有点 过程 和 那个 客体 能够担当 主事 的角色做 那个 另外 有点 过程
(=>     (attribute ?H ArtCritic)     (hasPurpose ?H         (exists (?AW ?T ?CLASS)             (and                 (instance ?AW ArtWork)                 (overlapsTemporally                     (WhenFn ?AW)                     (WhenFn ?H))                 (instance ?T ?CLASS)                 (subclass ?CLASS Article)                 (authors ?H ?CLASS)                 (refers ?T ?AW)))))	Mid-level-ontology.kif 21088-21100	如果 艺术评论家 是 客体 的 attribute， 然后 那个 客体 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 艺术品 的 instance 和 那个 客体 出现 的 time 时段 和 那个 实体 出现 的 time 重叠 和 那个 另外 实体 是 那个 第三 实体 的 instance 和 那个 第三 实体 是 文章 的 subclass 和 那个 客体 是 那个 第三 实体 的 authors 和 那个 另外 实体 提到 那个 实体
(=>     (attribute ?H NewsReporter)     (hasPurpose ?H         (exists (?EV ?T ?NEWS)             (and                 (instance ?EV Process)                 (overlapsTemporally                     (WhenFn ?EV)                     (WhenFn ?H))                 (instance ?T ?NEWS)                 (or                     (subclass ?NEWS Newspaper)                     (subclass ?NEWS NewsProgram))                 (authors ?H ?NEWS)                 (refers ?T ?EV)))))	Mid-level-ontology.kif 21065-21079	如果 新闻记者 是 客体 的 attribute， 然后 那个 客体 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 过程 的 instance 和 那个 客体 出现 的 time 时段 和 那个 实体 出现 的 time 重叠 和 那个 另外 实体 是 那个 第三 实体 的 instance 和 那个 第三 实体 是 报纸 的 subclass 或 那个 第三 实体 是 新闻节目 的 subclass 和 那个 客体 是 那个 第三 实体 的 authors 和 那个 另外 实体 提到 那个 实体
(=>     (attribute ?H ObsessiveCompulsiveDisorder)     (exists (?COL ?C)         (and             (memberType ?COL ?C)             (or                 (subclass ?C Investigating)                 (subclass ?C Cleaning))             (=>                 (instance ?CI ?C)                 (and                     (agent ?CI ?H)                     (not                         (wants ?H ?CI)))))))	Medicine.kif 4025-4038	如果 ObsessiveCompulsiveDisorder 是 有认知的主事 的 attribute， 然后 有存在 群体 和 类 这样 那个 类 是 那个 群体 的 member 类别 和 那个 类 是 调查 的 subclass 或 那个 类 是 清洁的 的 subclass 和 如果 那个 类I 是 那个 类 的 instance， 然后 那个 有认知的主事 是 那个 类I 的 agent 和 那个 有认知的主事 doesn't wants 那个 类I
(=>     (attribute ?H Pulmonologist)     (exists (?P1 ?P2 ?PAT ?L)         (and             (subclass ?PROCESS1 DiagnosticProcess)             (subclass ?PROCESS2 TherapeuticProcess)             (patient ?P1 ?PAT)             (patient ?P2 ?PAT)             (instance ?L Lung)             (part ?L ?PAT)             (located ?P1 Lung)             (located ?P2 Lung))))	Medicine.kif 4481-4492	如果 Pulmonologist 是 客体 的 attribute， 然后 有存在 过程， 另一个 过程,， ， 另一个 客体， and 和 第三 客体 这样 类 是 诊断过程 的 subclass 和 另一个 类 是 治疗过程 的 subclass 和 那个 另外 客体 是 那个 过程 的 patient 和 那个 另外 客体 是 那个 另外 过程 的 patient 和 那个 第三 客体 是 肺 的 instance 和 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 过程 是 located 在 肺 和 那个 另外 过程 是 located 在 肺
(=>     (attribute ?P Researcher)     (exists (?S)         (and             (subclass ?S Science)             (hasExpertise ?P ?S))))	Mid-level-ontology.kif 18895-18900	如果 研究员 是 人类 的 attribute， 然后 有存在 有点 研究领域 这样 有点 研究领域 是 科学 的 subclass 和 那个 有点 研究领域 有 在 那个 人类 的专业知识
(=>     (codeMapping ISO-639-1 ?TOKEN ?X)     (or         (instance ?X HumanLanguage)         (instance ?X             (subclass ?CLASS HumanLanguage))))	Languages.kif 14705-14709	如果 符号串 在 ISO-639-1 denotes 实体 ， 然后 那个 实体 是 人类语言 的 instance 或 那个 实体 是 另一个 实体 是 人类语言 的 subclass 的 instance
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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