(=>     (and         (equal ?FY             (FiscalYearStartingFn ?PLACE ?YEAR))         (fiscalYearPeriod ?PLACE ?PERIOD)         (instance ?FY ?PERIOD))     (exists (?DAY ?INST)         (and             (instance ?DAY Day)             (starts ?DAY ?FY)             (instance ?INST ?YEAR)             (temporalPart ?DAY ?INST))))	Economy.kif 3754-3764	如果 时距 equal 施事体 和 有点 年 的 fiscal 开始年分 和 另一个 有点 时距 是 那个 施事体 的 fiscal 年周期 和 那个 时距 是 另一个 有点 时距 的 instance， 然后 有存在 第三 时距 和 时间位置 这样 那个 第三 时距 是 日 的 instance 和 那个 第三 时距 starts了才到 那个 时距 和 那个 时间位置 是 有点 年 的 instance 和 那个 第三 时距 时段 是 那个 时间位置 时段 的一 part
(=>     (and         (equal ?FY             (FiscalYearStartingFn ?PLACE ?YEAR))         (fiscalYearPeriod ?PLACE ?PERIOD))     (instance ?FY ?PERIOD))	Economy.kif 3748-3752	如果 时距 equal 施事体 和 有点 年 的 fiscal 开始年分 和 另一个 有点 时距 是 那个 施事体 的 fiscal 年周期， 然后 那个 时距 是 另一个 有点 时距 的 instance
(=>     (and         (equal ?L             (LineFn ?P1 ?P2))         (part ?OP1 ?L)         (part ?OP2 ?L)         (not             (equal ?OP1 ?OP2))         (equal ?L2             (LineFn ?OP1 ?OP2)))     (part ?L2 ?L))	ComputingBrands.kif 2636-2644	如果 客体 equal 另一个 客体 和 第三 客体 之间线路 和 第四 客体 是 那个 客体 的 part 和 第五 客体 是 那个 客体 的 part 和 那个 第四 客体 不 equal 那个 第五 客体 和 那个 客体2 equal 那个 第四 客体 和 那个 第五 客体 之间线路， 然后 那个 客体2 是 那个 客体 的 part
(=>     (and         (equal ?LIST1 ?LIST2)         (equal ?LIST1             (ListFn @ROW1))         (equal ?LIST2             (ListFn @ROW2)))     (equal         (ListOrderFn             (ListFn @ROW1) ?NUMBER)         (ListOrderFn             (ListFn @ROW2) ?NUMBER)))	Merge.kif 295-302	如果 串列 equal 另一个 串列 和 那个 串列 equal (@ROW1) 和 那个 另外 串列 equal (@ROW2)， 然后 (@ROW1) 的第 正整数 几个元素 equal (@ROW2) 的第 那个 正整数 几个元素
(=>     (and         (equal ?LIST3             (ListConcatenateFn ?LIST1 ?LIST2))         (not             (equal ?LIST1 NullList))         (not             (equal ?LIST2 NullList))         (lessThanOrEqualTo ?NUMBER1             (ListLengthFn ?LIST1))         (lessThanOrEqualTo ?NUMBER2             (ListLengthFn ?LIST2))         (instance ?NUMBER1 PositiveInteger)         (instance ?NUMBER2 PositiveInteger))     (and         (equal             (ListOrderFn ?LIST3 ?NUMBER1)             (ListOrderFn ?LIST1 ?NUMBER1))         (equal             (ListOrderFn ?LIST3                 (AdditionFn                     (ListLengthFn ?LIST1) ?NUMBER2))             (ListOrderFn ?LIST2 ?NUMBER2))))	Merge.kif 3083-3102	如果 串列 equal List包含 另一个 串列 和 第三 串列 和 那个 另外 串列 不 equal 空列表 和 那个 第三 串列 不 equal 空列表 和 正整数 是 lessThanOrEqualTo 那个 另外 串列 的长度 和 另一个 正整数 是 lessThanOrEqualTo 那个 第三 串列 的长度 和 那个 正整数 是 正整数 的 instance 和 那个 另外 正整数 是 正整数 的 instance， 然后 那个 串列 的第 那个 正整数 几个元素 equal 那个 另外 串列 的第 那个 正整数 几个元素 和 那个 串列 的第 (那个 另外 串列 的长度 和 那个 另外 正整数) 几个元素 equal 那个 第三 串列 的第 那个 另外 正整数 几个元素
(=>     (and         (equal ?M             (OrganicObjectFn ?A))         (subclass ?M Meat))     (subclass ?A Animal))	Economy.kif 4945-4950	如果 有点 客体 equal OrganicObjectFn 有点 有机物体 和 有点 客体 是 meat 的 subclass， 然后 有点 有机物体 是 动物 的 subclass
(=>     (and         (equal ?M             (OrganicObjectFn ?G))         (subclass ?M Malt)         (subclass ?G CerealGrain))     (initialPart ?G CerealGrass))	Economy.kif 4166-4172	如果 有点 客体 equal OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 Malt 的 subclass 和 另一个 有点 客体 是 谷物 的 subclass， 然后 %每个 那个 另外 有点 客体 是 谷物草 的 initially part
(=>     (and         (equal ?MEASURE             (MeasureFn ?NUMBER Rad))         (measure ?OBJ ?MEASURE))     (absorbedDose ?OBJ ?MEASURE))	MilitaryProcesses.kif 862-866	如果 辐射测量 equal 实数 拉德 和 客体 的 measure 是 那个 辐射测量， 然后 吸收剂量 那个 客体 and 那个 辐射测量
(=>     (and         (equal ?NLIST             (PhysicalQuantityToNumberFn ?QLIST))         (equal ?QUANT             (ListOrderFn ?QLIST ?N))         (equal ?NUM             (ListOrderFn ?NLIST ?N)))     (equal         (MeasureFn ?NUM ?UNIT) ?QUANT))	Weather.kif 1838-1845	如果 数字串列 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是 量度结果串列 和 物理量 equal 那个 量度结果串列 的第 正整数 几个元素 和 那个 正整数UM equal 那个 数字串列 的第 那个 正整数 几个元素， 然后 那个 正整数UM 测量单位 equal 那个 物理量
(=>     (and         (equal ?O             (OrganicObjectFn ?S))         (subclass ?O OilFromPlant)         (or             (subclass ?S Seed)             (subclass ?S Fruit)))     (exists (?P)         (and             (subclass ?P FloweringPlant)             (initialPart ?S ?P))))	Economy.kif 4532-4543	如果 有点 客体 equal OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 OilFromPlant 的 subclass 和 另一个 有点 客体 是 种子 的 subclass 或 那个 另外 有点 客体 是 水果 的 subclass， 然后 有存在 第三 有点 客体 这样 第三 有点 客体 是 开花植物 的 subclass 和 %每个 那个 另外 有点 客体 是 那个 第三 有点 客体 的 initially part
(=>     (and         (equal ?OBJ             (MereologicalSumFn ?PART1 ?PART2))         (connected ?PART1 ?PART2))     (instance ?OBJ SelfConnectedObject))	Merge.kif 9521-9525	如果 客体 equal 包括属于 另一个 客体 或 第三 客体 的部分 和 那个 第三 客体 和 那个 另外 客体 是 connected， 然后 那个 客体 是 自身连接物体 的 instance
(=>     (and         (equal ?OUT             (ReverseFn ?IN))         (equal ?LEN             (StringLengthFn ?IN))         (greaterThan ?LEN 1)         (greaterThan ?N 0)         (lessThan ?N ?LEN)         (equal ?PIVOT             (CeilingFn                 (DivisionFn                     (SubtractionFn ?LEN 1) 2)))         (equal ?NEW             (AdditionFn                 (SubtractionFn ?PIVOT ?N) ?PIVOT))         (equal ?S             (SubstringFn ?IN ?N                 (AdditionFn 1 ?N))))     (equal ?S         (SubstringFn ?OUT ?NEW             (AdditionFn 1 ?NEW))))	Media.kif 3068-3089	如果 符号串 equal ReverseFn 另一个 符号串 和 非负整数 equal 那个 另外 符号串 的 length 和 那个 非负整数 是 greaterThan 1 和 另一个 非负整数 是 greaterThan 0 和 那个 另外 非负整数 是 lessThan 那个 非负整数 和 整数 equal 取(那个 非负整数 和 1) 和 2 的顶整数 和 那个 另外 非负整数EW equal ((那个 整数 和 那个 另外 非负整数) 和 那个 整数) 和 第三 符号串 equal 那个 另外 符号串 的 sub-string 从 那个 另外 非负整数 对于 (1 和 那个 另外 非负整数) ， 然后 那个 第三 符号串 equal 那个 符号串 的 sub-string 从 那个 另外 非负整数EW 对于 (1 和 那个 另外 非负整数EW)
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (exists (?R ?O)         (and             (instance ?R                 (DeadFn ?ORG))             (part ?R ?O)             (instance ?O ?ORG))))	Economy.kif 5267-5276	如果 有点 客体 equal OrganicObjectFn 有点 有机物体 和 有点 客体 是 客体 的 subclass， 然后 有存在 另一个 客体 和 第三 客体 这样 那个 另外 客体 是 一个 dead 有点 有机物体 的 instance 和 那个 另外 客体 是 那个 第三 客体 的 part 和 那个 第三 客体 是 那个 有点 有机物体 的 instance
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (or         (subclass ?ORG Organism)         (subclass ?ORG AnatomicalStructure)))	Economy.kif 5258-5265	如果 有点 客体 equal OrganicObjectFn 有点 有机物体 和 有点 客体 是 客体 的 subclass， 然后 有点 有机物体 是 生物 的 subclass 或 那个 有点 有机物体 是 解剖结构 的 subclass
(=>     (and         (equal ?P             (OrganicObjectFn ?S))         (subclass ?P Pelt))     (subclass ?S Skin))	Economy.kif 5032-5036	如果 有点 客体 equal OrganicObjectFn 有点 有机物体 和 有点 客体 是 毛皮 的 subclass， 然后 有点 有机物体 是 皮肤 的 subclass
(=>     (and         (equal ?PROCESSSTART             (BeginFn                 (WhenFn ?PROCESS)))         (equal ?AGENTEND             (EndFn                 (WhenFn ?AGENT)))         (benefits ?PROCESS ?AGENT))     (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 22920-22925	如果 时点 equal 过程 出现 的 time 的开始 和 另一个 时点 equal 施事体 出现 的 time 的结束 和 那个 施事体 是 那个 过程 的 受益者， 然后 那个 时点%n在那个 另外 时点before发生
(=>     (and         (equal ?PROCESSSTART             (BeginFn                 (WhenFn ?PROCESS)))         (equal ?AGENTEND             (EndFn                 (WhenFn ?AGENT)))         (suffers ?PROCESS ?AGENT))     (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 29595-29604	如果 时点 equal 过程 出现 的 time 的开始 和 另一个 时点 equal 施事体 出现 的 time 的结束 和 那个 施事体 suffers 从 那个 过程 ， 然后 那个 时点%n在那个 另外 时点before发生
(=>     (and         (equal ?R             (SubListFn ?S ?E ?L))         (equal             (SubtractionFn ?E ?S) 0))     (equal ?R NullList))	Merge.kif 3170-3177	如果 串列 equal SubListFn 整数, 另一个 整数 and 另一个 串列 和 (那个 另外 整数 和 那个 整数) equal 0， 然后 那个 串列 equal 空列表
(=>     (and         (equal ?R             (SubListFn ?S ?E ?L))         (equal             (SubtractionFn ?E ?S) 1))     (equal ?R         (ListFn             (ListOrderFn ?L ?S))))	Merge.kif 3179-3188	如果 串列 equal SubListFn 正整数, 整数 and 另一个 串列 和 (那个 整数 和 那个 正整数) equal 1， 然后 那个 串列 equal (那个 另外 串列 的第 那个 正整数 几个元素)
(=>     (and         (equal ?R             (SubListFn ?S ?E ?L))         (greaterThan             (SubtractionFn ?E ?S) 1))     (equal ?R         (ListConcatenateFn             (ListFn                 (ListOrderFn ?L ?S))             (SubListFn                 (AdditionFn 1 ?S) ?E ?L))))	Merge.kif 3190-3202	如果 串列 equal SubListFn 正整数, 整数 and 另一个 串列 和 (那个 整数 和 那个 正整数) 是 greaterThan 1， 然后 那个 串列 equal List包含 (那个 另外 串列 的第 那个 正整数 几个元素) 和 SubListFn (1 和 那个 正整数), 那个 整数 and 那个 另外 串列
(=>     (and         (equal ?S             (OrganicObjectFn ?F))         (subclass ?S Suet)         (subclass ?F FatTissue))     (or         (initialPart ?F Cattle)         (initialPart ?F Sheep)))	Food.kif 2906-2914	如果 有点 客体 equal OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 Suet 的 subclass 和 另一个 有点 客体 是 脂肪组织 的 subclass， 然后 %每个 那个 另外 有点 客体 是 牛 的 initially part 或 %每个 那个 另外 有点 客体 是 羊 的 initially part
(=>     (and         (equal ?S             (OrganicObjectFn ?O))         (subclass ?S Lambskin)         (subclass ?O Skin))     (initialPart ?O Lamb))	Economy.kif 5041-5046	如果 有点 客体 equal OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 小羊皮 的 subclass 和 另一个 有点 客体 是 皮肤 的 subclass， 然后 %每个 那个 另外 有点 客体 是 羔羊 的 initially part
(=>     (and         (equal ?S             (OrganicObjectFn ?O))         (subclass ?S Sheepskin)         (subclass ?O Skin))     (initialPart ?O Sheep))	Economy.kif 5051-5056	如果 有点 客体 equal OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 羊皮 的 subclass 和 另一个 有点 客体 是 皮肤 的 subclass， 然后 %每个 那个 另外 有点 客体 是 羊 的 initially part
(=>     (and         (equal ?S             (SongFn ?MC ?LC))         (realization ?S ?MUSIC))     (exists (?MM ?MV)         (and             (patient ?MM ?MC)             (patient ?MV ?LC)             (subProcess ?MM ?MUSIC)             (subProcess ?MV ?MUSIC))))	Music.kif 867-876	如果 歌曲 equal song 构成 音乐作品 和 LyricalContent 和 那个 歌曲 表示 过程 的内容， 然后 有存在 另一个 过程 和 第三 过程 这样 那个 音乐作品 是 那个 另外 过程 的 patient 和 那个 LyricalContent 是 那个 第三 过程 的 patient 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess
(=>     (and         (equal ?SPEEDLIST             (Mean3SecondWindSpeedListFn ?PLACE ?TIME))         (inList ?SPEED ?SPEEDLIST))     (exists (?TIMELIST ?INT)         (and             (equal ?TIMELIST                 (TimeIntervalListFn ?TIME                     (MeasureFn 3 SecondDuration)))             (inList ?INT ?TIMELIST)             (equal ?SPEED                 (Mean3SecondWindSpeedFn ?PLACE ?INT)))))	Weather.kif 2005-2017	如果 串列 equal 在 时距 时间结束以前， 发生在区域 地理区域 的 Mean3SecondWindSpeedListFn (平均3秒风速表列) 和 函数量 是 那个 串列 的 member， 然后 有存在 那个 时距LIST 和 另一个 时距 这样 那个 时距LIST equal 那个 时距 的 3 第二期 ConsecutiveTimeIntervalList 是在 TimeIntervalListFn(时间间隔表列函数) 和 那个 另外 时距 是 那个 时距LIST 的 member 和 那个 函数量 equal 那个 地理区域地区在那个 另外 时距时段的 Mean3SecondWindSpeedFn
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