(=>     (describes ?FORMULA ?OBJECT)     (exists (?STATING ?AGENT)         (and             (instance ?STATING Stating)             (agent ?STATING ?AGENT)             (patient ?STATING ?FORMULA)             (refers ?STATING ?OBJECT))))	Mid-level-ontology.kif 16152-16159	如果 公式 describes 客体 ， 然后 有存在 过程 和 施事体 这样 那个 过程 是 陈述 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 公式 是 那个 过程 的 patient 和 那个 过程 提到 那个 客体
(=>     (evidence ?LA ?P)     (exists (?A ?PROP)         (and             (instance ?PROP Proposition)             (instance ?A Argument)             (refers ?A ?LA)             (represents ?PROP ?P)             (premise ?A ?PROP))))	Law.kif 180-188	如果 evidence 法律诉讼 and 物理， 然后 有存在 争论 和 那个 物理ROP 这样 那个 物理ROP 是 命题 的 instance 和 那个 争论 是 争论 的 instance 和 那个 争论 提到 那个 法律诉讼 和 那个 物理ROP 表达 那个 物理 和 那个 物理ROP 是 那个 争论 的 premise
(=>     (experimentUpdate ?CBP ?EXP)     (refers ?CBP ?EXP))	UXExperimentalTerms.kif 2680-2682	如果 内容承载物理 是 试验 的 update ， 然后 那个 内容承载物理 提到 那个 试验
(=>     (finalExperimentReport ?CBP ?EXP)     (refers ?CBP ?EXP))	UXExperimentalTerms.kif 2709-2711	如果 对于 试验 的 final report 是 内容承载物理 ， 然后 那个 内容承载物理 提到 那个 试验
(=>     (instance ?A Announcement)     (exists (?CD ?I)         (and             (instance ?CD ContentDevelopment)             (result ?CD ?A)             (refers ?A ?I)             (instance ?I SocialInteraction)             (earlier                 (WhenFn ?CD)                 (WhenFn ?I)))))	Mid-level-ontology.kif 14522-14532	如果 实体 是 公告 的 instance， 然后 有存在 过程 和 物理 这样 那个 过程 是 内容制作 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 实体 提到 那个 物理 和 那个 物理 是 社交 的 instance 和 那个 过程 出现 的 time 比那个 物理 出现 的 time发生的earlier
(=>     (instance ?A Aqiqah)     (exists (?BIRTH)         (and             (refers ?A ?BIRTH)             (earlier                 (WhenFn ?BIRTH)                 (WhenFn ?A)))))	ArabicCulture.kif 333-338	如果 物理 是 aqiqah 的 instance， 然后 有存在 另一个 物理 这样 那个 物理 提到 那个 另外 物理 和 那个 另外 物理 出现 的 time 比那个 物理 出现 的 time发生的earlier
(=>     (instance ?ADVERT Advertising)     (exists (?OBJ)         (and             (refers ?ADVERT ?OBJ)             (hasPurpose ?ADVERT                 (exists (?SALE)                     (and                         (instance ?SALE Selling)                         (patient ?SALE ?OBJ)))))))	Merge.kif 13123-13128	如果 物理 是 广告 的 instance， 然后 有存在 实体 这样 那个 物理 提到 那个 实体 和 那个 物理 的 目的 是 有存在 另一个 实体 这样 那个 另外 实体 是 出售 的 instance 和 那个 实体 是 那个 另外 实体 的 patient
(=>     (instance ?AID AppleID)     (exists (?E)         (and             (instance ?E EmailAddress)             (refers ?AID ?E))))	ComputingBrands.kif 2025-2030	如果 实体 是 苹果ID 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 EmailAddress 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?ANSWER Answering)     (exists (?QUESTION)         (and             (instance ?QUESTION Questioning)             (refers ?ANSWER ?QUESTION)             (earlier                 (WhenFn ?QUESTION)                 (WhenFn ?ANSWER)))))	Mid-level-ontology.kif 898-904	如果 物理 是 回答中 的 instance， 然后 有存在 另一个 物理 这样 那个 另外 物理 是 询问 的 instance 和 那个 物理 提到 那个 另外 物理 和 那个 另外 物理 出现 的 time 比那个 物理 出现 的 time发生的earlier
(=>     (instance ?B Biography)     (exists (?H)         (and             (instance ?H Human)             (refers ?B ?H))))	Mid-level-ontology.kif 14897-14902	如果 实体 是 传 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 人类 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?C CalendarText)     (exists (?D)         (and             (instance ?D Day)             (refers ?C ?D))))	ComputingBrands.kif 2295-2300	如果 实体 是 日历 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 日 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?C Congratulating)     (exists (?P ?A ?D)         (and             (destination ?C ?D)             (agent ?P ?D)             (agent ?C ?A)             (wants ?A ?P)             (refers ?C ?P))))	Mid-level-ontology.kif 12994-13002	如果 过程 是 祝贺 的 instance， 然后 有存在 另一个 过程， 有认知的主事， and 和 施事体 这样 那个 过程 在 那个 施事体 结束 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 有认知的主事 wants 那个 另外 过程 和 那个 过程 提到 那个 另外 过程
(=>     (instance ?C Correcting)     (exists (?D ?S ?SP ?CP)         (and             (instance ?D Disagreeing)             (subProcess ?C ?D)             (instance ?S Stating)             (subProcess ?S ?D)             (containsInformation ?S ?SP)             (containsInformation ?C ?CP)             (refers ?CP ?SP)             (not                 (consistent ?CP ?SP)))))	Mid-level-ontology.kif 29679-29691	如果 过程 是 Correcting 的 instance， 然后 有存在 另一个 过程， 第三 过程,， ， 那个 第三 过程P， and 和 那个 过程P 这样 那个 另外 过程 是 不同意 的 instance 和 那个 过程%n是那个 另外 过程的subProcess 和 那个 第三 过程 是 陈述 的 instance 和 那个 第三 过程%n是那个 另外 过程的subProcess 和 那个 第三 过程 contains 那个 第三 过程P 的资料 和 那个 过程 contains 那个 过程P 的资料 和 那个 过程P 提到 那个 第三 过程P 和 那个 第三 过程P 不 是 那个 过程P 的 consistent
(=>     (instance ?C HolidayCard)     (exists (?H)         (and             (instance ?H Holiday)             (refers ?C ?H))))	Mid-level-ontology.kif 14874-14879	如果 实体 是 节日贺卡 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 假日 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?CALL GameCall)     (exists (?GAME)         (and             (instance ?GAME Game)             (refers ?CALL ?GAME))))	Mid-level-ontology.kif 16280-16285	如果 实体 是 比赛电话 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 游戏 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?CD ComputerDesktopImage)     (hasPurpose ?CD         (and             (refers ?CD ?F)             (or                 (instance ?F DigitalData)                 (instance ?F ComputerProgram)))))	ComputingBrands.kif 3167-3174	如果 物理 是 ComputerDesktopImage 的 instance， 然后 那个 物理 的 目的 是 那个 物理 提到 实体 和 那个 实体 是 数字数据 的 instance 或 那个 实体 是 电脑程序 的 instance
(=>     (instance ?CHART Chart)     (exists (?QUANTITY)         (and             (instance ?QUANTITY PhysicalQuantity)             (refers ?CHART ?QUANTITY))))	Mid-level-ontology.kif 13243-13248	如果 实体 是 图表 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 物理量 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?COMMENT DigitalComment)     (exists (?POST)         (and             (instance ?POST DigitalPost)             (refers ?COMMENT ?POST))))	ComputerInput.kif 2864-2869	如果 实体 是 DigitalComment 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 DigitalPost 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?COMMUNICATE Communication)     (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2)         (and             (refers ?PHYS ?ENTITY)             (patient ?COMMUNICATE ?PHYS)             (instance ?AGENT1 CognitiveAgent)             (agent ?COMMUNICATE ?AGENT1)             (instance ?AGENT2 CognitiveAgent)             (destination ?COMMUNICATE ?AGENT2))))	Merge.kif 13067-13076	如果 过程 是 沟通 的 instance， 然后 有存在 实体， 另一个 实体,， ， 施事体， and 和 第三 实体 这样 那个 实体 提到 那个 另外 实体 和 那个 实体 是 那个 过程 的 patient 和 那个 施事体 是 有认知的主事 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 第三 实体 是 有认知的主事 的 instance 和 那个 过程 在 那个 第三 实体 结束
(=>     (instance ?DECISION LegalDecision)     (exists (?ACTION)         (and             (instance ?ACTION LegalAction)             (refers ?DECISION ?ACTION))))	Merge.kif 10816-10821	如果 实体 是 法律决定 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 法律诉讼 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?DESCRIPTIONPAGE ProductDescriptionPage)     (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)         (and             (instance ?PRODUCT Class)             (instance ?STATING Stating)             (patient ?STATING ?DESCRIPTION)             (refers ?DESCRIPTION ?PRODUCT)             (result ?DESCRIPTION ?DESCRIPTIONCONTENT)             (part ?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2043-2052	如果 客体 是 ProductDescriptionPage 的 instance， 然后 有存在 实体， 过程,， ， 另一个 过程， and 和 那个 过程CONTENT 这样 那个 实体 是 类 的 instance 和 那个 另外 过程 是 陈述 的 instance 和 那个 过程 是 那个 另外 过程 的 patient 和 那个 过程 提到 那个 实体 和 那个 过程CONTENT 是 那个 过程 的 result 和 那个 过程CONTENT 是 那个 客体 的 part
(=>     (instance ?F Funeral)     (exists (?D)         (and             (instance ?D Death)             (refers ?F ?D))))	Mid-level-ontology.kif 16006-16011	如果 实体 是 葬礼 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 死亡 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?F NationalFlag)     (exists (?N)         (and             (instance ?N Nation)             (refers ?F ?N))))	Mid-level-ontology.kif 13265-13270	如果 实体 是 国旗 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 国家 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?G Chart)     (exists (?Q)         (and             (instance ?Q PhysicalQuantity)             (refers ?G ?Q))))	Mid-level-ontology.kif 13272-13277	如果 实体 是 图表 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 物理量 的 instance 和 那个 实体 提到 那个 另外 实体
(=>     (instance ?HL HypertextLink)     (refers ?HL DigitalData))	UXExperimentalTerms.kif 3312-3314	如果 实体 是 HypertextLink 的 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