(=>     (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 ?P WoodProduct)         (part ?W ?P))     (instance ?W Wood))	Economy.kif 5229-5233	如果 客体 是 WoodProduct 的 instance 和 另一个 客体 是 那个 客体 的 part， 然后 那个 另外 客体 是 木 的 instance
(=>     (and         (instance ?R CervicalVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S CervicalVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 561-574	如果 有点 身体部位 是 CervicalVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 CervicalVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R FalseRibBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (not         (exists (?S)             (and                 (instance ?S Sternum)                 (part ?S ?H)                 (connectedBodyPart ?S ?R)))))	Anatomy.kif 505-517	如果 有点 身体部位 是 FalseRibBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 不存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 Sternum 的 instance 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R LumbarVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S LumbarVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 601-614	如果 有点 身体部位 是 LumbarVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 LumbarVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R ThoracicVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S ThoracicVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 669-682	如果 有点 身体部位 是 ThoracicVertebraBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 ThoracicVertebraBone 的 instance 和 那个 另外 有点 身体部位 不 equal 那个 有点 身体部位 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?R TrueRibBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S Sternum)             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 492-503	如果 有点 身体部位 是 TrueRibBone 的 instance 和 有点 身体部位 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 疾病或综合症 不 是 那个 客体 的 attribute， 然后 有存在 另一个 有点 身体部位 这样 另一个 有点 身体部位 是 Sternum 的 instance 和 那个 另外 有点 身体部位 是 那个 客体 的 part 和 connectedBodyPart 那个 另外 有点 身体部位 and 那个 有点 身体部位
(=>     (and         (instance ?RC RibCage)         (part ?RC ?H)         (instance ?H Human)         (attribute ?H Living)         (not             (and                 (instance ?P PathologicProcess)                 (located ?P ?H))))     (exists (?HT ?LG)         (and             (instance ?HT Heart)             (instance ?HT Lung)             (contains ?RC ?LG)             (contains ?RC ?HT))))	Mid-level-ontology.kif 11246-11261	如果 自身连接物体 是 RibCage 的 instance 和 那个 自身连接物体 是 客体 的 part 和 那个 客体 是 人类 的 instance 和 活的 是 那个 客体 的 attribute 和 ~{ 物理 是 病理过程 的 instance } 或 ~{ 那个 物理 是 located 在 那个 客体 }， 然后 有存在 那个 客体T 和 第三 客体 这样 那个 客体T 是 心 的 instance 和 那个 客体T 是 肺 的 instance 和 那个 自身连接物体 contains 那个 第三 客体 和 那个 自身连接物体 contains 那个 客体T
(=>     (and         (instance ?REL SheddingPart)         (?REL ?O ?P)         (instance ?O Organism)         (instance ?P AnatomicalStructure)         (part ?P ?O))     (exists (?R)         (and             (instance ?R Removing)             (origin ?R ?O)             (patient ?R ?P))))	Geography.kif 6412-6423	如果 实体 是 SheddingPart 的 instance 和 那个 实体 客体 and 另一个 客体 和 那个 客体 是 生物 的 instance 和 那个 另外 客体 是 解剖结构 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 有存在 过程 这样 那个 过程 是 移除 的 instance 和 那个 客体 是 那个 过程 的源头 和 那个 另外 客体 是 那个 过程 的 patient
(=>     (and         (instance ?REM OrganismRemains)         (holdsDuring             (WhenFn ?REM)             (part ?OBJ ?REM)))     (exists (?ORG)         (and             (instance ?ORG Organism)             (earlier                 (WhenFn ?ORG)                 (WhenFn ?REM))             (finishes                 (WhenFn ?REM)                 (WhenFn ?ORG))             (holdsDuring                 (WhenFn ?ORG)                 (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 45-56	如果 物理 是 OrganismRemains 的 instance 和 实体 是 那个 物理 的 part 在 那个 物理 出现 的 time holdsDuring， 然后 有存在 另一个 物理 这样 那个 另外 物理 是 生物 的 instance 和 那个 另外 物理 出现 的 time 比那个 物理 出现 的 time发生的earlier 和 那个 物理 出现 的 time finishes了才到 那个 另外 物理 出现 的 time 和 那个 实体 是 那个 另外 物理 的 part 在 那个 另外 物理 出现 的 time holdsDuring
(=>     (and         (instance ?Range MountainRange)         (part ?Mountain1 ?Range))     (exists (?Mountain2)         (and             (component ?Mountain2 ?Range)             (instance ?Mountain2 Mountain)             (meetsSpatially ?Mountain1 ?Mountain2))))	Geography.kif 4016-4024	如果 躯体性物体 是 山脉 的 instance 和 客体 是 那个 躯体性物体 的 part， 然后 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 山 的 instance 和 那个 客体 接上 那个 另外 躯体性物体
(=>     (and         (instance ?S NervousSystem)         (part ?S ?A)         (instance ?A Animal))     (instance ?A Vertebrate))	Mid-level-ontology.kif 11449-11454	如果 客体 是 神经系统 的 instance 和 那个 客体 是 另一个 客体 的 part 和 那个 另外 客体 是 动物 的 instance， 然后 那个 另外 客体 是 脊椎动物 的 instance
(=>     (and         (instance ?S Speaking)         (instance ?J Jaw)         (agent ?S ?H)         (part ?J ?H))     (modalAttribute         (exists (?M)             (and                 (instance ?M BodyMotion)                 (objectTransferred ?M ?J)                 (during                     (WhenFn ?M)                     (WhenFn ?S)))) Likely))	Anatomy.kif 1664-1676	如果 过程 是 说话 的 instance 和 客体 是 Jaw 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 施事体 的 part， 然后 有存在 实体 这样 那个 实体 是 身体运动 的 instance 和 objectTransferred 那个 实体 and 那个 客体 和 那个 实体 出现 的 time 在 那个 过程 出现 的 time 时段内发生 的声明 has 容易 的语气
(=>     (and         (instance ?S Stairway)         (part ?S ?B)         (instance ?B Building))     (hasPurpose ?S         (exists (?L1 ?L2)             (and                 (instance ?L1 BuildingLevel)                 (instance ?L2 BuildingLevel)                 (part ?L1 ?B)                 (part ?L2 ?B)                 (connects ?S ?L1 ?L2)))))	Mid-level-ontology.kif 15072-15084	如果 客体 是 楼梯 的 instance 和 那个 客体 是 另一个 客体 的 part 和 那个 另外 客体 是 建筑物 的 instance， 然后 那个 客体 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 建设水平 的 instance 和 那个 另外 实体 是 建设水平 的 instance 和 那个 实体 是 那个 另外 客体 的 part 和 那个 另外 实体 是 那个 另外 客体 的 part 和 那个 客体 connects 那个 实体 和 那个 另外 实体
(=>     (and         (instance ?SEAT AuditoriumSeat)         (part ?SEAT ?AUDITORIUM)         (part ?STAGE ?AUDITORIUM)         (instance ?AUDITORIUM Auditorium)         (instance ?STAGE PerformanceStage)         (located ?PERSON ?SEAT)         (instance ?PERSON Human)         (subclass ?SEE Seeing)         (forall (?INST)             (=>                 (instance ?INST ?SEE)                 (patient ?INST ?STAGE))))     (capability ?SEE agent ?PERSON))	Mid-level-ontology.kif 7350-7364	如果 客体 是 礼堂座位 的 instance 和 那个 客体 是 另一个 客体 的 part 和 第三 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是 礼堂 的 instance 和 那个 第三 客体 是 表演阶段 的 instance 和 第四 客体 是 located 在 那个 客体 和 那个 第四 客体 是 人类 的 instance 和 有点 过程 是 看 的 subclass 和 对所有 另一个 过程 如果 那个 另外 过程 是 有点 过程 的 instance， 然后 那个 第三 客体 是 那个 另外 过程 的 patient ， 然后 那个 第四 客体 能够担当 主事 的角色做 那个 有点 过程
(=>     (and         (instance ?SM StripMall)         (instance ?RS1 RetailStore)         (part ?RS1 ?SM)         (instance ?RS2 RetailStore)         (part ?RS2 ?SM)         (not             (equal ?RS1 ?RS2)))     (not         (exists (?H)             (and                 (instance ?H Hallway)                 (connects ?RS1 ?H ?RS2)))))	Medicine.kif 5132-5145	如果 客体 是 StripMall 的 instance 和 另一个 客体 是 零售店 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 第三 客体 是 零售店 的 instance 和 那个 第三 客体 是 那个 客体 的 part 和 那个 另外 客体 不 equal 那个 第三 客体， 然后 不存在 第四 客体 这样 那个 第四 客体 是 门厅 的 instance 和 那个 另外 客体 connects 那个 第四 客体 和 那个 第三 客体
(=>     (and         (instance ?SM StripMall)         (instance ?RS1 RetailStore)         (part ?RS1 ?SM))     (exists (?PL)         (and             (instance ?PL ParkingLot)             (orientation ?RS1 ?PL Adjacent))))	Medicine.kif 5147-5155	如果 客体 是 StripMall 的 instance 和 另一个 客体 是 零售店 的 instance 和 那个 另外 客体 是 那个 客体 的 part， 然后 有存在 第三 客体 这样 那个 第三 客体 是 停车场 的 instance 和 那个 另外 客体 在 那个 第三 客体 的 邻
(=>     (and         (instance ?SOLUTION SalineSolution)         (part ?PART ?SOLUTION))     (or         (instance ?PART SodiumChloride)         (instance ?PART Water)))	Mid-level-ontology.kif 8773-8779	如果 客体 是 生理盐水 的 instance 和 另一个 客体 是 那个 客体 的 part， 然后 那个 另外 客体 是 盐 的 instance 或 那个 另外 客体 是 水 的 instance
(=>     (and         (instance ?STR AlphabeticString)         (part ?CHAR ?STR)         (instance ?CHAR Character))     (instance ?CHAR AlphabeticCharacter))	Media.kif 2904-2909	如果 客体 是 AlphabeticString 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 字符 的 instance， 然后 那个 另外 客体 是 字母字符 的 instance
(=>     (and         (instance ?STR DecimalDigitString)         (part ?CHAR ?STR)         (instance ?CHAR Character))     (instance ?CHAR DigitCharacter))	Media.kif 2912-2917	如果 客体 是 DecimalDigitString 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 字符 的 instance， 然后 那个 另外 客体 是 数字字符 的 instance
(=>     (and         (instance ?STRING SymbolicString)         (part ?CHAR ?STRING)         (instance ?CHAR Character))     (inString ?CHAR ?STRING))	Mid-level-ontology.kif 24377-24382	如果 符号串 是 符号串 的 instance 和 字符 是 那个 符号串 的 part 和 那个 字符 是 字符 的 instance， 然后 那个 字符 是 那个 符号串 的 part
(=>     (and         (instance ?STRUCTURE AnimalAnatomicalStructure)         (instance ?ANIMAL Organism)         (part ?STRUCTURE ?ANIMAL))     (instance ?ANIMAL Animal))	Merge.kif 15022-15027	如果 客体 是 动物解剖结构 的 instance 和 另一个 客体 是 生物 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 那个 另外 客体 是 动物 的 instance
(=>     (and         (instance ?STRUCTURE PlantAnatomicalStructure)         (instance ?PLANT Organism)         (part ?STRUCTURE ?PLANT))     (instance ?PLANT Plant))	Merge.kif 15033-15038	如果 客体 是 植物解剖结构 的 instance 和 另一个 客体 是 生物 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 那个 另外 客体 是 植物 的 instance
(=>     (and         (instance ?SUBSTANCE AnimalSubstance)         (instance ?ANIMAL Organism)         (part ?SUBSTANCE ?ANIMAL))     (instance ?ANIMAL Animal))	Merge.kif 14838-14843	如果 客体 是 动物物质 的 instance 和 另一个 客体 是 生物 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 那个 另外 客体 是 动物 的 instance
(=>     (and         (instance ?SUBSTANCE PlantSubstance)         (instance ?PLANT Organism)         (part ?SUBSTANCE ?PLANT))     (instance ?PLANT Plant))	Merge.kif 14849-14854	如果 客体 是 植物物质 的 instance 和 另一个 客体 是 生物 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 那个 另外 客体 是 植物 的 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