(=>     (instance ?NEST Nest)     (hasPurpose ?NEST         (exists (?BIRTH)             (and                 (instance ?BIRTH Birth)                 (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 5031-5037	如果 物理 是 巢 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 出生 的 instance 和 那个 实体 是 located 在 那个 物理
(=>     (instance ?OFF TakingOff)     (exists (?REGION ?FLYING)         (and             (not                 (instance ?REGION AtmosphericRegion))             (holdsDuring                 (BeginFn                     (WhenFn ?OFF))                 (eventLocated ?OFF ?REGION))             (subProcess ?FLYING ?OFF)             (instance ?FLYING Flying))))	Mid-level-ontology.kif 17240-17247	如果 过程 是 起飞 的 instance， 然后 有存在 实体 和 另一个 过程 这样 那个 实体 不 是 大气地区 的 instance 和 那个 过程 是 located 在 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 另外 过程 是 飞行 的 instance
(=>     (instance ?P PlayArea)     (hasPurpose ?P         (exists (?K ?REC)             (and                 (instance ?REC RecreationOrExercise)                 (eventLocated ?REC ?P)                 (instance ?K HumanChild)                 (agent ?REC ?K)))))	Dining.kif 987-995	如果 物理 是 PlayArea 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 另外 实体 是 娱乐或锻炼 的 instance 和 那个 另外 实体 是 located 在 那个 物理 和 那个 实体 是 人类的孩子 的 instance 和 那个 实体 是 那个 另外 实体 的 agent
(=>     (instance ?P Prison)     (hasPurpose ?P         (exists (?C ?H ?G)             (and                 (instance ?C Confining)                 (eventLocated ?C ?P)                 (patient ?C ?H)                 (instance ?H Human)                 (agent ?C ?G)                 (instance ?G Government)))))	Mid-level-ontology.kif 6768-6778	如果 物理 是 监狱 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 关押 的 instance 和 那个 实体 是 located 在 那个 物理 和 那个 另外 实体 是 那个 实体 的 patient 和 那个 另外 实体 是 人类 的 instance 和 那个 第三 实体 是 那个 实体 的 agent 和 那个 第三 实体 是 政府 的 instance
(=>     (instance ?P PuttingGreen)     (hasPurpose ?P         (and             (exists (?PUT)                 (and                     (instance ?PUT GolfPutt)                     (eventLocated ?PUT ?P)))             (not                 (exists (?GOLF)                     (and                         (eventLocated ?GOLF ?P)                         (instance ?GOLF GolfManeuver)                         (not                             (instance ?GOLF GolfPutt))))))))	Sports.kif 1000-1013	如果 物理 是 PuttingGreen 的 instance， 然后 那个 物理 的 目的 是 有存在 那个 物理UT 这样 那个 物理UT 是 GolfPutt 的 instance 和 那个 物理UT 是 located 在 那个 物理 和 不存在 另一个 实体 这样 那个 另外 实体 是 located 在 那个 物理 和 那个 另外 实体 是 高尔夫演习 的 instance 和 那个 另外 实体 不 是 GolfPutt 的 instance
(=>     (instance ?P SwimmingPool)     (hasPurpose ?P         (exists (?S)             (and                 (instance ?S Swimming)                 (eventLocated ?S ?P)))))	Mid-level-ontology.kif 4726-4732	如果 物理 是 游泳池 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 游泳 的 instance 和 那个 实体 是 located 在 那个 物理
(=>     (instance ?P VotingPoll)     (exists (?V)         (and             (instance ?V Voting)             (eventLocated ?V ?P))))	Mid-level-ontology.kif 6801-6806	如果 客体 是 投票调查 的 instance， 然后 有存在 过程 这样 那个 过程 是 表决 的 instance 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?P Wading)     (exists (?W)         (and             (instance ?W WaterArea)             (eventLocated ?P ?W))))	Mid-level-ontology.kif 536-541	如果 过程 是 涉水 的 instance， 然后 有存在 客体 这样 那个 客体 是 水域 的 instance 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?PARK Park)     (hasPurpose ?PARK         (exists (?REC)             (and                 (instance ?REC RecreationOrExercise)                 (eventLocated ?REC ?PARK)))))	Mid-level-ontology.kif 8108-8114	如果 物理 是 公园 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 娱乐或锻炼 的 instance 和 那个 实体 是 located 在 那个 物理
(=>     (instance ?PERFORMANCE Performance)     (exists (?STAGE)         (and             (instance ?STAGE PerformanceStage)             (eventLocated ?PERFORMANCE ?STAGE))))	Mid-level-ontology.kif 15860-15865	如果 过程 是 性能 的 instance， 然后 有存在 客体 这样 那个 客体 是 表演阶段 的 instance 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?PLACE RestaurantBuilding)     (capability Cooking eventLocated ?PLACE))	Mid-level-ontology.kif 7293-7295	如果 客体 是 餐厅建筑 的 instance， 然后 那个 客体 能够担当 eventLocated 的角色做 烹饪
(=>     (instance ?PLANT IndustrialPlant)     (hasPurpose ?PLANT         (exists (?MANUFACTURE)             (and                 (instance ?MANUFACTURE Manufacture)                 (eventLocated ?MANUFACTURE ?PLANT)))))	Mid-level-ontology.kif 15698-15704	如果 物理 是 工业厂房 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 制造 的 instance 和 那个 实体 是 located 在 那个 物理
(=>     (instance ?PROC BiologicalProcess)     (exists (?OBJ)         (and             (instance ?OBJ Organism)             (eventLocated ?PROC ?OBJ))))	Merge.kif 10136-10141	如果 过程 是 生物过程 的 instance， 然后 有存在 客体 这样 那个 客体 是 生物 的 instance 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?PROC OrganOrTissueProcess)     (exists (?THING)         (and             (eventLocated ?PROC ?THING)             (or                 (instance ?THING Organ)                 (instance ?THING Tissue)))))	Merge.kif 10175-10182	如果 过程 是 器官或身体组织过程 的 instance， 然后 有存在 客体 这样 那个 过程 是 located 在 那个 客体 和 那个 客体 是 器官 的 instance 或 那个 客体 是 身体组织 的 instance
(=>     (instance ?PROCESS         (OperatingFn ComputerMouse))     (exists (?SURFACE)         (and             (instance ?SURFACE Object)             (attribute ?SURFACE Flat)             (eventLocated ?PROCESS ?SURFACE))))	ComputerInput.kif 389-396	如果 过程 是 ComputerMouse 的 operating 的 instance， 然后 有存在 客体 这样 那个 客体 是 客体 的 instance 和 平面 是 那个 客体 的 attribute 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?PROCESS Blizzard)     (exists (?AREA ?DIST)         (and             (instance ?AREA GeographicArea)             (eventLocated ?PROCESS ?AREA)             (visibilityInMeteorology ?AREA                 (WhenFn ?PROCESS)                 (MeasureFn ?DIST Meter))             (lessThan ?DIST 400.0))))	Weather.kif 2642-2651	如果 过程 是 暴风雪 的 instance， 然后 有存在 地区 和 实数 这样 那个 地区 是 地理区域 的 instance 和 那个 过程 是 located 在 那个 地区 和 visibility 在 那个 地区 期间 那个 过程 出现 的 time 是 那个 实数 仪表 和 那个 实数 是 lessThan 400.0
(=>     (instance ?PROCESS Blizzard)     (holdsDuring         (WhenFn ?PROCESS)         (exists (?AREA ?GALE ?DURATION)             (and                 (instance ?AREA GeographicArea)                 (eventLocated ?PROCESS ?AREA)                 (surfaceWindSpeed ?AREA                     (MeasureFn ?GALE KnotUnitOfSpeed))                 (greaterThan ?GALE 35.0)                 (duration                     (WhenFn ?PROCESS)                     (MeasureFn ?DURATION HourDuration))                 (greaterThan ?DURATION 3)))))	Weather.kif 2627-2640	如果 物理 是 暴风雪 的 instance， 然后 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 地理区域 的 instance 和 那个 物理 是 located 在 那个 实体 和 那个 另外 实体 结速度单位 是 那个 实体 的 surface 风速 和 那个 另外 实体 是 greaterThan 35.0 和 那个 物理 出现 的 time 的 duration 是 那个 第三 实体 小时 和 那个 第三 实体 是 greaterThan 3 在 那个 物理 出现 的 time holdsDuring
(=>     (instance ?PROCESS JudicialProcess)     (exists (?ROOM)         (and             (instance ?ROOM CourtRoom)             (eventLocated ?PROCESS ?ROOM))))	Mid-level-ontology.kif 16176-16181	如果 过程 是 司法程序 的 instance， 然后 有存在 客体 这样 那个 客体 是 法庭室 的 instance 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?R Classroom)     (hasPurpose ?R         (exists (?E)             (and                 (instance ?E EducationalProcess)                 (eventLocated ?E ?R)))))	Mid-level-ontology.kif 15605-15611	如果 物理 是 教室 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 教育性过程 的 instance 和 那个 实体 是 located 在 那个 物理
(=>     (instance ?R DressingRoom)     (hasPurpose ?R         (exists (?C)             (and                 (instance ?C ChangingClothing)                 (eventLocated ?C ?R)))))	Mid-level-ontology.kif 15520-15526	如果 物理 是 更衣室 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 这样 那个 实体 是 换衣服 的 instance 和 那个 实体 是 located 在 那个 物理
(=>     (instance ?R WindFlow)     (exists (?WIND)         (and             (instance ?WIND Wind)             (eventLocated ?WIND ?R))))	Weather.kif 94-99	如果 客体 是 大气气流 的 instance， 然后 有存在 过程 这样 那个 过程 是 风 的 instance 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?S Cholesterol)     (exists (?P ?L)         (and             (instance ?P BiologicalProcess)             (eventLocated ?P ?L)             (instance ?L Liver)             (result ?P ?S))))	Mid-level-ontology.kif 8712-8719	如果 实体 是 胆固醇 的 instance， 然后 有存在 过程 和 客体 这样 那个 过程 是 生物过程 的 instance 和 那个 过程 是 located 在 那个 客体 和 那个 客体 是 肝 的 instance 和 那个 实体 是 那个 过程 的 result
(=>     (instance ?S RecordingStudio)     (hasPurpose ?S         (exists (?R ?P)             (and                 (instance ?R Recording)                 (result ?P ?R)                 (eventLocated ?P ?S)))))	Music.kif 27-34	如果 物理 是 RecordingStudio 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 Recording 的 instance 和 那个 实体 是 那个 另外 实体 的 result 和 那个 另外 实体 是 located 在 那个 物理
(=>     (instance ?S Sinking)     (exists (?W)         (and             (instance ?W WaterArea)             (eventLocated ?S ?W))))	Mid-level-ontology.kif 13111-13116	如果 过程 是 下沉 的 instance， 然后 有存在 客体 这样 那个 客体 是 水域 的 instance 和 那个 过程 是 located 在 那个 客体
(=>     (instance ?S Sofa)     (hasPurpose ?S         (exists (?P1 ?P2 ?T)             (and                 (not                     (equal ?P1 ?P2))                 (instance ?P1 Human)                 (instance ?P2 Human)                 (holdsDuring ?T                     (and                         (attribute ?P1 Sitting)                         (attribute ?P2 Sitting)                         (eventLocated ?P1 ?S)                         (eventLocated ?P2 ?S)))))))	Mid-level-ontology.kif 3754-3767	如果 物理 是 沙发 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 不 equal 那个 另外 实体 和 那个 实体 是 人类 的 instance 和 那个 另外 实体 是 人类 的 instance 和 坐在 是 那个 实体 的 attribute 和 坐在 是 那个 另外 实体 的 attribute 和 那个 实体 是 located 在 那个 物理 和 那个 另外 实体 是 located 在 那个 物理 在 那个 第三 实体 holdsDuring
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