(=>     (and         (equal ?AF             (OrganicObjectFn ?F))         (subclass ?AF AnimalFat)         (subclass ?F FatTissue))     (initialPart ?F Animal))	Food.kif 2883-2889	如果 equal 有点 客体 and OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 AnimalFat 的 subclass 和 另一个 有点 客体 是 脂肪组织 的 subclass， 然后 %每个 那个 另外 有点 客体 是 动物 的 initially part
(=>     (and         (equal ?B             (OrganicObjectFn ?P))         (subclass ?B CoffeeBean)         (subclass ?P Seed))     (initialPart ?P CoffeePlant))	Economy.kif 4967-4972	如果 equal 有点 客体 and OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 咖啡豆 的 subclass 和 另一个 有点 客体 是 种子 的 subclass， 然后 %每个 那个 另外 有点 客体 是 CoffeePlant 的 initially part
(=>     (and         (equal ?C             (OrganicObjectFn ?S))         (subclass ?C CocoaBean)         (subclass ?S Seed))     (initialPart ?S CocoaTree))	Economy.kif 5031-5037	如果 equal 有点 客体 and OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 可可豆 的 subclass 和 另一个 有点 客体 是 种子 的 subclass， 然后 %每个 那个 另外 有点 客体 是 可可樹 的 initially part
(=>     (and         (equal ?CHORD ChordOfACircle)         (endPointsOfLine ?P1 ?P2 ?CHORD))     (exists (?C)         (and             (equal ?C Circle)             (pointOfFigure ?P1 ?C)             (pointOfFigure ?P2 ?C))))	Mid-level-ontology.kif 5831-5839	如果 equal ClosedLineSegment and ChordOfACircle 和 endPointsOfLine 几何点, 另一个 几何点 and 那个 ClosedLineSegment， 然后 有存在 几何图 这样 equal 那个 几何图 and 圈 和 那个 几何点 是 那个 几何图 的顶点 和 那个 另外 几何点 是 那个 几何图 的顶点
(=>     (and         (equal ?CHORD ChordOfACircle)         (pointOfFigure             (CenterOfCircleFn ?C) ?CHORD)         (equal ?C Circle))     (equal ?CHORD DiameterLine))	Mid-level-ontology.kif 5846-5852	如果 equal 几何图 and ChordOfACircle 和 圆 圈 的 center 是 那个 几何图 的顶点 和 equal 那个 圈 and 圈， 然后 equal 那个 几何图 and DiameterLine
(=>     (and         (equal ?CLASS1             (ReceivingAnObjectFn ?OBJCLASS1))         (equal ?CLASS2             (ReceivingAnObjectFn ?OBJCLASS2))         (subclass ?OBJCLASS1 ?OBJCLASS2))     (subclass ?CLASS1 ?CLASS2))	Media.kif 195-200	如果 equal 有点 获得 and receiving 一个 有点 客体 和 equal 另一个 有点 获得 and receiving 一个 另一个 有点 客体 和 有点 客体 是 另一个 有点 客体 的 subclass， 然后 有点 获得 是 另一个 有点 获得 的 subclass
(=>     (and         (equal ?D             (AlbumCopiesFn ?A ?DS))         (instance ?X ?D))     (forall (?S)         (=>             (inList ?S ?A)             (exists (?C)                 (and                     (copy ?C ?S)                     (stored ?C ?X))))))	Music.kif 938-948	如果 equal 有点 DataStorageDevice and Album 在 有点 DataStorageDeviceS 的 set 复制 和 第三 DataStorageDevice 是 那个 有点 DataStorageDevice 的 instance， 然后 对所有 客体 如果 那个 客体 是 那个 Album 的 member， 然后 有存在 有内用物体 这样 那个 有内用物体 是和 那个 客体 完全相同的 copy 和 那个 有内用物体 是 stored 在 那个 第三 DataStorageDevice
(=>     (and         (equal ?DEP             (DepartmentOfFn ?COMP ?PHYS))         (subOrganization ?DEP2 ?COMP)         (not             (equal ?DEP ?DEP2))         (instance ?I ?PHYS)         (inScopeOfInterest ?DEP ?I)         (equal ?P1             (ProbabilityFn                 (agent ?P ?DEP)))         (equal ?P2             (ProbabilityFn                 (agent ?P ?DEP2))))     (greaterThan ?P1 ?P2))	Mid-level-ontology.kif 19914-19929	如果 equal 机构 and DepartmentOfFn 另一个 机构 and 有点 物理 和 那个 机构2 是 那个 另外 机构 Organization 的一部分 和 equal 那个 机构 and 那个 机构2 和 实体 是 有点 物理 的 instance 和 那个 机构 对 那个 实体 感兴趣 和 equal 实数 and 那个 机构 是 另一个 实体 的 agent 的机率 和 equal 那个 另外 实体2 and 那个 机构2 是 那个 另外 实体 的 agent 的机率， 然后 那个 实数 是 greaterThan 那个 另外 实体2
(=>     (and         (equal ?DEP             (DepartmentOfPreventingFn ?COMP ?PHYS))         (subclass ?PHYS Process)         (subOrganization ?DEP ?COMP))     (inhibits ?DEP ?PHYS))	Mid-level-ontology.kif 19972-19977	如果 equal 机构 and DepartmentOfPreventingFn 另一个 机构 and 有点 物理 和 有点 物理 是 过程 的 subclass 和 那个 机构 是 那个 另外 机构 Organization 的一部分， 然后 那个 机构 inhibits 那个 有点 物理
(=>     (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 4091-4101	如果 equal 时距 and 施事体 和 有点 年 的 fiscal 开始年分 和 另一个 有点 时距 是 那个 施事体 的 fiscal 年周期 和 那个 时距 是 另一个 有点 时距 的 instance， 然后 有存在 第三 时距 和 时间位置 这样 那个 第三 时距 是 日 的 instance 和 那个 第三 时距 starts了才到 那个 时距 和 那个 时间位置 是 有点 年 的 instance 和 那个 第三 时距 时段 是 那个 时间位置 时段 的一 part
(=>     (and         (equal ?FY             (FiscalYearStartingFn ?PLACE ?YEAR))         (fiscalYearPeriod ?PLACE ?PERIOD))     (instance ?FY ?PERIOD))	Economy.kif 4085-4089	如果 equal 时距 and 施事体 和 有点 年 的 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 客体 and 另一个 客体 和 第三 客体 之间线路 和 第四 客体 是 那个 客体 的 part 和 第五 客体 是 那个 客体 的 part 和 equal 那个 第四 客体 and 那个 第五 客体 和 equal 那个 客体2 and 那个 第四 客体 和 那个 第五 客体 之间线路， 然后 那个 客体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 289-296	如果 equal 串列 and 另一个 串列 和 equal 那个 串列 and (@ROW1) 和 equal 那个 另外 串列 and (@ROW2)， 然后 equal (@ROW1) 的第 正整数 几个元素 and (@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 3096-3115	如果 equal 串列 and List包含 另一个 串列 和 第三 串列 和 equal 那个 另外 串列 and 空列表 和 equal 那个 第三 串列 and 空列表 和 正整数 是 lessThanOrEqualTo 那个 另外 串列 的长度 和 另一个 正整数 是 lessThanOrEqualTo 那个 第三 串列 的长度 和 那个 正整数 是 正整数 的 instance 和 那个 另外 正整数 是 正整数 的 instance， 然后 equal 那个 串列 的第 那个 正整数 几个元素 and 那个 另外 串列 的第 那个 正整数 几个元素 和 equal 那个 串列 的第 (那个 另外 串列 的长度 和 那个 另外 正整数) 几个元素 and 那个 第三 串列 的第 那个 另外 正整数 几个元素
(=>     (and         (equal ?M             (OrganicObjectFn ?A))         (subclass ?M Meat))     (subclass ?A Animal))	Economy.kif 5285-5290	如果 equal 有点 客体 and OrganicObjectFn 有点 有机物体 和 有点 客体 是 meat 的 subclass， 然后 有点 有机物体 是 动物 的 subclass
(=>     (and         (equal ?M             (OrganicObjectFn ?G))         (subclass ?M Malt)         (subclass ?G CerealGrain))     (initialPart ?G CerealGrass))	Economy.kif 4503-4509	如果 equal 有点 客体 and OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 Malt 的 subclass 和 另一个 有点 客体 是 谷物 的 subclass， 然后 %每个 那个 另外 有点 客体 是 谷物草 的 initially part
(=>     (and         (equal ?MAJ MajorArc)         (sideOfFigure ?MAJ ?S)         (equal ?S CircleSector)         (angleOfFigure ?A ?S)         (angularMeasure ?A             (MeasureFn ?X AngularDegree)))     (and         (greaterThan ?X 180)         (lessThan ?X 360)))	Mid-level-ontology.kif 5798-5807	如果 equal 一维图 and MajorArc 和 几何图 的 side 是 那个 一维图 和 equal 那个 几何图 and 圈子部门 和 二维角度 是发现在 那个 几何图 的 angle 和 实数 圆周角度 是 那个 二维角度 的 angular 量测， 然后 那个 实数 是 greaterThan 180 和 那个 实数 是 lessThan 360
(=>     (and         (equal ?MEASURE             (MeasureFn ?NUMBER Rad))         (measure ?OBJ ?MEASURE))     (absorbedDose ?OBJ ?MEASURE))	MilitaryProcesses.kif 862-866	如果 equal 辐射测量 and 实数 拉德 和 客体 的 measure 是 那个 辐射测量， 然后 吸收剂量 那个 客体 and 那个 辐射测量
(=>     (and         (equal ?MIN MinorArc)         (sideOfFigure ?MIN ?S)         (equal ?S CircleSector)         (angleOfFigure ?A ?S)         (angularMeasure ?A             (MeasureFn ?X AngularDegree)))     (and         (greaterThan ?X 0)         (lessThan ?X 180)))	Mid-level-ontology.kif 5782-5791	如果 equal 一维图 and MinorArc 和 几何图 的 side 是 那个 一维图 和 equal 那个 几何图 and 圈子部门 和 二维角度 是发现在 那个 几何图 的 angle 和 实数 圆周角度 是 那个 二维角度 的 angular 量测， 然后 那个 实数 是 greaterThan 0 和 那个 实数 是 lessThan 180
(=>     (and         (equal ?N NorthPole)         (located ?N ArcticRegion))     (exists (?A)         (and             (axis ?A PlanetEarth)             (traverses ?A ?N))))	Geography.kif 3994-4001	如果 equal 客体 and NorthPole 和 那个 客体 是 located 在 北极地区， 然后 有存在 另一个 客体 这样 行星地球 是 那个 另外 客体 的 axis 和 那个 另外 客体 traverses 那个 客体
(=>     (and         (equal ?NLIST             (PhysicalQuantityToNumberFn ?QLIST))         (equal ?QUANT             (ListOrderFn ?QLIST ?N))         (equal ?NUM             (ListOrderFn ?NLIST ?N)))     (equal         (MeasureFn ?NUM ?UNIT) ?QUANT))	Weather.kif 2667-2674	如果 equal 数字串列 and PhysicalQuantityToNumberFn 得出一个串列的数字值是 量度结果串列 和 equal 物理量 and 那个 量度结果串列 的第 正整数 几个元素 和 equal 那个 正整数UM and 那个 数字串列 的第 那个 正整数 几个元素， 然后 equal 那个 正整数UM 测量单位 and 那个 物理量
(=>     (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 4870-4881	如果 equal 有点 客体 and OrganicObjectFn 另一个 有点 客体 和 有点 客体 是 OilFromPlant 的 subclass 和 另一个 有点 客体 是 种子 的 subclass 或 那个 另外 有点 客体 是 水果 的 subclass， 然后 有存在 第三 有点 客体 这样 第三 有点 客体 是 开花植物 的 subclass 和 %每个 那个 另外 有点 客体 是 那个 第三 有点 客体 的 initially part
(=>     (and         (equal ?O ObliqueAngle)         (angularMeasure ?O             (MeasureFn ?N AngularDegree)))     (greaterThan ?N 90.0))	Mid-level-ontology.kif 5471-5476	如果 equal 二维角度 and 斜角 和 实数 圆周角度 是 那个 二维角度 的 angular 量测， 然后 那个 实数 是 greaterThan 90.0
(=>     (and         (equal ?OBJ             (MereologicalSumFn ?PART1 ?PART2))         (connected ?PART1 ?PART2))     (instance ?OBJ SelfConnectedObject))	Merge.kif 9657-9661	如果 equal 客体 and 包括属于 另一个 客体 或 第三 客体 的部分 和 那个 第三 客体 和 那个 另外 客体 是 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 3052-3073	如果 equal 符号串 and ReverseFn 另一个 符号串 和 equal 非负整数 and 那个 另外 符号串 的 length 和 那个 非负整数 是 greaterThan 1 和 另一个 非负整数 是 greaterThan 0 和 那个 另外 非负整数 是 lessThan 那个 非负整数 和 equal 整数 and 取(那个 非负整数 和 1) 和 2 的顶整数 和 equal 那个 另外 非负整数EW and ((那个 整数 和 那个 另外 非负整数) 和 那个 整数) 和 equal 第三 符号串 and 那个 另外 符号串 的 sub-string 从 那个 另外 非负整数 对于 (1 和 那个 另外 非负整数) ， 然后 equal 那个 第三 符号串 and 那个 符号串 的 sub-string 从 那个 另外 非负整数EW 对于 (1 和 那个 另外 非负整数EW)
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