(<=>     (attribute ?INDIVIDUAL Sikh)     (member ?INDIVIDUAL Sikhism))	People.kif 1488-1490	锡克教 是 客体 的 attribute 若且唯若 那个 客体 是 锡克教 的 member
(<=>     (attribute ?INDIVIDUAL SunniMuslim)     (member ?INDIVIDUAL SunniSect))	People.kif 1397-1399	逊尼派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 逊尼派 的 member
(<=>     (attribute ?INDIVIDUAL Taoist)     (member ?INDIVIDUAL Taoism))	People.kif 1503-1505	道 是 客体 的 attribute 若且唯若 那个 客体 是 道教 的 member
(<=>     (attribute ?INDIVIDUAL Zoroastrian)     (member ?INDIVIDUAL Zoroastrianism))	People.kif 1518-1520	拜火教 是 客体 的 attribute 若且唯若 那个 客体 是 拜火教 的 member
(<=>     (attribute ?MUSIC PolyphonicMusic)     (exists (?PART1 ?PART2)         (and             (instance ?MUSIC MakingMusic)             (instance ?PART1 MakingMusic)             (instance ?PART2 MakingMusic)             (subProcess ?PART1 ?MUSIC)             (subProcess ?PART2 ?MUSIC)             (not                 (equal ?PART1 ?PART2))             (cooccur ?PART1 ?MUSIC)             (cooccur ?PART2 ?MUSIC))))	Mid-level-ontology.kif 744-755	和弦音乐 是 客体 的 attribute 若且唯若 有存在 过程 和 另一个 过程 这样 那个 客体 是 制作音乐 的 instance 和 那个 过程 是 制作音乐 的 instance 和 那个 另外 过程 是 制作音乐 的 instance 和 那个 过程是那个 客体的subProcess 和 那个 另外 过程是那个 客体的subProcess 和 equal 那个 过程 and 那个 另外 过程 和 那个 过程 和 那个 客体 同时发生 和 那个 另外 过程 和 那个 客体 同时发生
(<=>     (attribute ?Q Queen)     (or         (attribute ?Q QueenRegnant)         (attribute ?Q QueenConsort)))	Government.kif 1362-1366	女王 是 客体 的 attribute 若且唯若 QueenRegnant 是 那个 客体 的 attribute 或 QueenConsort 是 那个 客体 的 attribute
(<=>     (attribute ?WATER OpenSea)     (exists (?LAND ?DIST)         (and             (instance ?WATER SaltWaterArea)             (not                 (instance ?WATER LandlockedWater))             (distance ?LAND ?WATER                 (MeasureFn ?DIST NauticalMile))             (greaterThan ?DIST 5.0))))	Geography.kif 4951-4960	公海 是 客体 的 attribute 若且唯若 有存在 物理 和 实数 这样 那个 客体 是 盐水区 的 instance 和 那个 客体 不 是 内陆水域 的 instance 和 那个 物理 和 那个 客体 的 distance 是 那个 实数 海里 和 那个 实数 是 greaterThan 5.0
(<=>     (holdsDuring ?T         (attribute ?H Alone))     (not         (exists (?H2 ?SI)             (and                 (not                     (equal ?H ?H2))                 (instance ?H2 AutonomousAgent)                 (instance ?SI SocialInteraction)                 (during                     (WhenFn ?SI) ?T)                 (involvedInEvent ?SI ?H)                 (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 32141-32154	Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 equal 那个 实体 and 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved
(<=>     (holdsDuring ?T         (attribute ?P Mute))     (not         (exists (?S)             (and                 (instance ?S Speaking)                 (during                     (WhenFn ?S) ?T)                 (agent ?S ?P)))))	Mid-level-ontology.kif 32189-32197	Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent
(<=>     (holdsDuring ?TIME         (attribute ?AGENT LegalAgent))     (holdsDuring ?TIME         (or             (capability LegalAction agent ?AGENT)             (capability LegalAction patient ?AGENT))))	Merge.kif 1611-1617	LegalAgent 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 那个 实体 能够担当 主事 的角色做 法律诉讼 或 那个 实体 能够担当 受事 的角色做 法律诉讼 在 那个 时间位置 holdsDuring
(=>     (and         (attribute             (GovernmentFn ?AREA) ?TYPE)         (instance ?TYPE FormOfGovernment))     (governmentType ?AREA ?TYPE))	Government.kif 148-152	如果 政体 是 地缘政治区域 的 Government 的 attribute 和 那个 政体 是 政体 的 instance， 然后 %2 是 1% 的 government 类别
(=>     (and         (attribute ?A ?ATTR)         (instance ?ATTR AlbumAttribute))     (instance ?A Album))	Music.kif 480-484	如果 属性 是 客体 的 attribute 和 那个 属性 是 AlbumAttribute 的 instance， 然后 那个 客体 是 Album 的 instance
(=>     (and         (attribute ?A AppraisalAsJustTreatment)         (instance ?AJT AppraisalProcess)         (agent ?AJT ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AJT ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (wants ?A ?P))))	emotion.kif 374-387	如果 AppraisalAsJustTreatment 是 有认知的主事 的 attribute 和 那个 有认知的主事JT 是 AppraisalProcess 的 instance 和 那个 有认知的主事 是 那个 有认知的主事JT 的 agent， 然后 有存在 另一个 过程 和 那个 有认知的主事2 这样 那个 另外 过程 是 过程 的 instance 和 那个 有认知的主事JT 提到 那个 另外 过程 和 那个 有认知的主事2 是 那个 另外 过程 的 agent 和 equal 那个 有认知的主事 and 那个 有认知的主事2 和 那个 有认知的主事 是 那个 另外 过程 的 patient 和 那个 有认知的主事 wants 那个 另外 过程
(=>     (and         (attribute ?A AppraisalAsUnjustTreatment)         (instance ?AUJ AppraisalProcess)         (agent ?AUJ ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AUJ ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (not                 (wants ?A ?P)))))	emotion.kif 349-363	如果 AppraisalAsUnjustTreatment 是 有认知的主事 的 attribute 和 那个 有认知的主事UJ 是 AppraisalProcess 的 instance 和 那个 有认知的主事 是 那个 有认知的主事UJ 的 agent， 然后 有存在 另一个 过程 和 那个 有认知的主事2 这样 那个 另外 过程 是 过程 的 instance 和 那个 有认知的主事UJ 提到 那个 另外 过程 和 那个 有认知的主事2 是 那个 另外 过程 的 agent 和 equal 那个 有认知的主事 and 那个 有认知的主事2 和 那个 有认知的主事 是 那个 另外 过程 的 patient 和 那个 有认知的主事 doesn't wants 那个 另外 过程
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 229-236	如果 Founder 是 施事体 的 attribute 和 那个 施事体 是 人类 的 instance， 然后 有存在 过程 这样 那个 过程 是 创建 的 instance 和 那个 施事体 是 那个 过程 的 agent
(=>     (and         (attribute ?AC TwoFactorAuthentication)         (loggedInDuring ?A ?AC ?T))     (exists (?TF)         (and             (instance ?TF TwoFactorLoggingIn)             (agent ?TF ?A)             (accountUsed ?TF ?AC)             (earlier                 (WhenFn ?TF) ?T))))	ComputingBrands.kif 4368-4377	如果 TwoFactorAuthentication 是 用户帐号 的 attribute 和 loggedInDuring 施事体, 那个 用户帐号 and 时距， 然后 有存在 那个 时距F 这样 那个 时距F 是 TwoFactorLoggingIn 的 instance 和 那个 施事体 是 那个 时距F 的 agent 和 accountUsed 那个 时距F and 那个 用户帐号 和 那个 时距F 出现 的 time 比那个 时距发生的earlier
(=>     (and         (attribute ?ACCT ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?ACCT UserAccount))	UXExperimentalTerms.kif 648-652	如果 属性 是 客体 的 attribute 和 那个 属性 是 AccountAttribute 的 instance， 然后 那个 客体 是 用户帐号 的 instance
(=>     (and         (attribute ?ACTOR VoiceActor)         (instance ?DRAMA DramaticActing)         (agent ?DRAMA ?ACTOR)         (instance ?SPEAK LinguisticCommunication)         (agent ?SPEAK ?ACTOR)         (subProcess ?SPEAK ?DRAMA))     (and         (not             (exists (?S ?VIEWER)                 (and                     (instance ?S Seeing)                     (patient ?S ?ACTOR)                     (agent ?S ?VIEWER))))         (exists (?H ?VIEWER)             (and                 (instance ?H Hearing)                 (patient ?H ?ACTOR)                 (agent ?H ?VIEWER)))))	Biography.kif 765-784	如果 配音演员 是 施事体 的 attribute 和 过程 是 戏剧表演 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 另一个 过程 是 语言交流 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程是那个 过程的subProcess， 然后 不存在 第三 过程 和 另一个 施事体 这样 那个 第三 过程 是 看 的 instance 和 那个 施事体 是 那个 第三 过程 的 patient 和 那个 另外 施事体 是 那个 第三 过程 的 agent 和 有存在 第四 过程 和 那个 另外 施事体 这样 那个 第四 过程 是 听 的 instance 和 那个 施事体 是 那个 第四 过程 的 patient 和 那个 另外 施事体 是 那个 第四 过程 的 agent
(=>     (and         (attribute ?AGENT             (MemberFn ?ORG))         (instance ?AGENT AutonomousAgent)         (instance ?ORG Organization))     (member ?AGENT ?ORG))	Government.kif 1736-1741	如果 机构 的 member 是 客体 的 attribute 和 那个 客体 是 施事体 的 instance 和 那个 机构 是 机构 的 instance， 然后 那个 客体 是 那个 机构 的 member
(=>     (and         (attribute ?AREA CommunistState)         (instance ?AREA Nation))     (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 865-869	如果 共产主义国家 是 施事体 的 attribute 和 那个 施事体 是 国家 的 instance， 然后 中央计划经济 是 那个 施事体 的 economy 类别
(=>     (and         (attribute ?AREA FlatTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.005 ?SLOPE))	Geography.kif 1912-1917	如果 平坦的地形 是 客体 的 attribute 和 土地面积 是 那个 客体 的 part 和 非负实数 是 那个 土地面积 的 slope 梯度， 然后 0.005 是 greaterThan 那个 非负实数
(=>     (and         (attribute ?AREA HighIncomeCountry)         (not             (member ?AREA OrganizationOfPetroleumExportingCountries)))     (economyType ?AREA DevelopedCountry))	Economy.kif 506-510	如果 高收入国家 是 施事体 的 attribute 和 那个 施事体 不 是 石油输出国组织 的 member， 然后 发达国家 是 那个 施事体 的 economy 类别
(=>     (and         (attribute ?AREA LowTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.03 ?SLOPE))	Geography.kif 1924-1929	如果 低地形 是 客体 的 attribute 和 土地面积 是 那个 客体 的 part 和 非负实数 是 那个 土地面积 的 slope 梯度， 然后 0.03 是 greaterThan 那个 非负实数
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1377-1384	如果 属性 是 施事体 的 attribute 和 那个 属性 是 ProfessionalAthlete 的 instance， 然后 有存在 比赛 这样 那个 比赛 是 运动 的 instance 和 那个 施事体 participates 在 那个 比赛
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1371-1375	如果 属性 是 施事体 的 attribute 和 那个 属性 是 ProfessionalAthlete 的 instance， 然后 那个 施事体 hasSkill 去做 运动
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