(=>     (holdsDuring ?T         (attribute ?H Hypersalivation))     (modalAttribute         (exists (?S)             (and                 (experiencer ?S ?H)                 (during                     (WhenFn ?S) ?T)                 (or                     (instance ?S Spitting)                     (instance ?S Drooling)                     (instance ?S Nausea)))) Likely))	Medicine.kif 5326-5340	如果 Hypersalivation 是 实体 的 attribute 在 时间位置 holdsDuring， 然后 有存在 另一个 实体 这样 那个 实体 经历了 那个 另外 实体 和 那个 另外 实体 出现 的 time 在 那个 时间位置 时段内发生 和 那个 另外 实体 是 吐痰 的 instance 或 那个 另外 实体 是 Drooling 的 instance 或 那个 另外 实体 是 Nausea 的 instance 的声明 has 容易 的语气
(=>     (instance ?C Cell)     (modalAttribute         (or             (cellShape ?C Sphere)             (cellShape ?C Cylinder)) Likely))	VirusProteinAndCellPart.kif 418-423	如果 实体 是 细胞 的 instance， 然后 cellShape 那个 实体 and 球 或 cellShape 那个 实体 and 圆筒 的声明 has 容易 的语气
(=>     (instance ?CAC Cactus)     (modalAttribute         (exists (?AREA)             (and                 (instance ?AREA GeographicArea)                 (located ?CAC ?AREA)                 (exists (?D)                     (and                         (instance ?D Drought)                         (eventLocated ?D ?AREA))))) Likely))	Geography.kif 6302-6312	如果 实体 是 Cactus 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 地理区域 的 instance 和 那个 实体 是 located 在 那个 另外 实体 和 有存在 第三 实体 这样 那个 第三 实体 是 干旱 的 instance 和 那个 第三 实体 是 located 在 那个 另外 实体 的声明 has 容易 的语气
(=>     (instance ?CLOTHING Clothing)     (modalAttribute         (exists (?FABRIC)             (and                 (instance ?FABRIC Fabric)                 (part ?FABRIC ?CLOTHING))) Likely))	Merge.kif 15927-15934	如果 实体 是 服装 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 织品 的 instance 和 那个 另外 实体 是 那个 实体 的 part 的声明 has 容易 的语气
(=>     (instance ?DISEASE VaccinatableDisease)     (exists (?VACCINE ?HUMAN ?PUT)         (and             (instance ?VACCINE Vaccine)             (instance ?PUT Putting)             (destination ?PUT ?HUMAN)             (instance ?HUMAN Human)             (modalAttribute                 (holdsDuring                     (FutureFn                         (WhenFn ?PUT))                     (not                         (attribute ?HUMAN ?DISEASE))) Likely))))	WMD.kif 1046-1059	如果 实体 是 可预防的疾病 的 instance， 然后 有存在 另一个 实体， 第三 实体， and 和 过程 这样 那个 另外 实体 是 Vaccine 的 instance 和 那个 过程 是 放 的 instance 和 那个 过程 在 那个 第三 实体 结束 和 那个 第三 实体 是 人类 的 instance 和 那个 实体 不 是 那个 第三 实体 的 attribute 在 那个 过程 出现 的 time 之后 holdsDuring 的声明 has 容易 的语气
(=>     (instance ?DRIZZLE Drizzling)     (exists (?CLTN ?R ?SIZE)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (member ?R ?CLTN)             (objectTransferred ?DRIZZLE ?CLTN)             (approximateDiameter ?R                 (MeasureFn ?SIZE Millimeter))             (modalAttribute                 (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 2799-2811	如果 转移 是 毛毛雨 的 instance， 然后 有存在 群体， 自身连接物体， and 和 实数 这样 那个 群体 是 群体 的 instance 和 那个 自身连接物体 是 水 的 instance 和 那个 自身连接物体 是 液体滴 的 instance 和 那个 自身连接物体 是 那个 群体 的 member 和 objectTransferred 那个 转移 and 那个 群体 和 1 的 approximate diameter 是 %2 和 那个 实数 是 lessThanOrEqualTo 0.5 的声明 has 容易 的语气
(=>     (instance ?DS DrugStore)     (modalAttribute         (exists (?P)             (and                 (attribute ?P Pharmacist)                 (employs ?DS ?P))) Likely))	Medicine.kif 3122-3129	如果 实体 是 药店 的 instance， 然后 有存在 另一个 实体 这样 药剂师 是 那个 另外 实体 的 attribute 和 那个 实体 employs 那个 另外 实体 的声明 has 容易 的语气
(=>     (instance ?F FaecalibacteriumPrausnitzii)     (modalAttribute         (exists (?H ?G)             (and                 (instance ?H Human)                 (instance ?G GastroIntestinalTract)                 (part ?G ?H)                 (located ?F ?G))) Likely))	Medicine.kif 5285-5294	如果 实体 是 FaecalibacteriumPrausnitzii 的 instance， 然后 有存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 人类 的 instance 和 那个 第三 实体 是 GastroIntestinalTract 的 instance 和 那个 第三 实体 是 那个 另外 实体 的 part 和 那个 实体 是 located 在 那个 第三 实体 的声明 has 容易 的语气
(=>     (instance ?G ResidentialGarden)     (modalAttribute         (exists (?F)             (and                 (instance ?F Fence)                 (orientation ?G ?F Surrounded))) Likely))	Mid-level-ontology.kif 8187-8193	如果 实体 是 私人庭园 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 篱笆 的 instance 和 那个 实体 在 那个 另外 实体 的 Surrounded 的声明 has 容易 的语气
(=>     (instance ?I Intestinimonas)     (modalAttribute         (exists (?IN)             (and                 (instance ?IN Intestine)                 (located ?I ?IN))) Likely))	Medicine.kif 4416-4423	如果 实体 是 Intestinimonas 的 instance， 然后 有存在 那个 实体N 这样 那个 实体N 是 肠 的 instance 和 那个 实体 是 located 在 那个 实体N 的声明 has 容易 的语气
(=>     (instance ?P Parasite)     (modalAttribute         (exists (?H ?PROC)             (and                 (located ?P ?H)                 (involvedInEvent ?PROC ?P)                 (involvedInEvent ?PROC ?H)                 (benefits ?PROC ?P)                 (suffers ?PROC ?H))) Likely))	Mid-level-ontology.kif 5893-5903	如果 实体 是 Parasite 的 instance， 然后 有存在 另一个 实体 和 那个 实体ROC 这样 那个 实体 是 located 在 那个 另外 实体 和 那个 实体 是事件 那个 实体ROC 的 involved 和 那个 另外 实体 是事件 那个 实体ROC 的 involved 和 那个 实体 是 那个 实体ROC 的 受益者 和 那个 另外 实体 suffers 从 那个 实体ROC 的声明 has 容易 的语气
(=>     (instance ?P Succulent)     (modalAttribute         (exists (?D)             (and                 (instance ?D Drought)                 (experiencer ?D ?P)                 (attribute ?P Living))) Likely))	Geography.kif 6286-6293	如果 实体 是 Succulent 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 干旱 的 instance 和 那个 实体 经历了 那个 另外 实体 和 活的 是 那个 实体 的 attribute 的声明 has 容易 的语气
(=>     (instance ?PAPER Paper)     (modalAttribute         (hasPurpose ?PAPER             (exists (?TEXT)                 (and                     (instance ?TEXT Text)                     (part ?TEXT ?PAPER)))) Likely))	Mid-level-ontology.kif 3574-3582	如果 实体 是 纸 的 instance， 然后 那个 实体 的 目的 是 有存在 另一个 实体 这样 那个 另外 实体 是 文本 的 instance 和 那个 另外 实体 是 那个 实体 的 part 的声明 has 容易 的语气
(=>     (instance ?PARK Park)     (modalAttribute         (exists (?G)             (and                 (instance ?G Garden)                 (located ?G ?PARK))) Likely))	Mid-level-ontology.kif 8115-8121	如果 实体 是 公园 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 园林 的 instance 和 那个 另外 实体 是 located 在 那个 实体 的声明 has 容易 的语气
(=>     (instance ?RV RecreationalVehicle)     (modalAttribute         (exists (?BED ?DINING ?KITCHEN)             (and                 (instance ?BED Bed)                 (instance ?DINING DiningArea)                 (instance ?KITCHEN KitchenArea)                 (located ?BED ?RV)                 (located ?DINING ?RV)                 (located ?KITCHEN ?RV))) Likely))	Mid-level-ontology.kif 25758-25768	如果 实体 是 RecreationalVehicle 的 instance， 然后 有存在 另一个 实体， 第三 实体， and 和 第四 实体 这样 那个 另外 实体 是 床 的 instance 和 那个 第三 实体 是 DiningArea 的 instance 和 那个 第四 实体 是 KitchenArea 的 instance 和 那个 另外 实体 是 located 在 那个 实体 和 那个 第三 实体 是 located 在 那个 实体 和 那个 第四 实体 是 located 在 那个 实体 的声明 has 容易 的语气
(=>     (instance ?STORM Storm)     (holdsDuring         (WhenFn ?STORM)         (modalAttribute             (exists (?P ?AREA)                 (and                     (instance ?P Precipitation)                     (instance ?AREA GeographicArea)                     (eventLocated ?P ?AREA)                     (subProcess ?P ?STORM))) Likely)))	Weather.kif 2889-2899	如果 物理 是 风暴 的 instance， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 沉淀 的 instance 和 那个 另外 实体 是 地理区域 的 instance 和 那个 实体 是 located 在 那个 另外 实体 和 那个 实体%n是那个 物理的subProcess 的声明 has 容易 的语气 在 那个 物理 出现 的 time holdsDuring
(=>     (instance ?TW TapWater)     (modalAttribute         (instance ?TW             (FoodForFn Human)) Likely))	Food.kif 285-289	如果 实体 是 TapWater 的 instance， 然后 那个 实体 是 food for 人类 的 instance 的声明 has 容易 的语气
(=>     (instance ?X BusinessCenter)     (modalAttribute         (exists (?COMP)             (and                 (instance ?COMP Computer)                 (located ?COMP ?X))) Likely))	Hotel.kif 1670-1676	如果 实体 是 BusinessCenter 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 电脑 的 instance 和 那个 另外 实体 是 located 在 那个 实体 的声明 has 容易 的语气
(=>     (instance ?X BusinessCenter)     (modalAttribute         (exists (?IC)             (and                 (instance ?IC InternetConnection)                 (located ?IC ?X))) Likely))	Hotel.kif 1678-1684	如果 实体 是 BusinessCenter 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 InternetConnection 的 instance 和 那个 另外 实体 是 located 在 那个 实体 的声明 has 容易 的语气
(=>     (instance ?X GrabBar)     (modalAttribute         (exists (?HUMAN)             (and                 (attribute ?HUMAN PhysicalDisability)                 (inScopeOfInterest ?HUMAN ?X))) Likely))	Mid-level-ontology.kif 26483-26489	如果 实体 是 GrabBar 的 instance， 然后 有存在 另一个 实体 这样 PhysicalDisability 是 那个 另外 实体 的 attribute 和 那个 另外 实体 对 那个 实体 感兴趣 的声明 has 容易 的语气
(=>     (instance ?X Lanai)     (exists (?ROOF)         (and             (instance ?ROOF Roof)             (part ?ROOF ?X)             (modalAttribute                 (exists (?AREA)                     (and                         (instance ?AREA SittingArea)                         (located ?AREA ?X))) Likely))))	Mid-level-ontology.kif 26643-26653	如果 客体 是 Lanai 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 屋顶 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 有存在 实体 这样 那个 实体 是 SittingArea 的 instance 和 那个 实体 是 located 在 那个 客体 的声明 has 容易 的语气
(=>     (instance ?X Patio)     (and         (modalAttribute             (attribute ?X Paved) Likely)         (exists (?BLDG)             (and                 (instance ?BLDG Building)                 (orientation ?X ?BLDG Adjacent)                 (located ?X Outdoors)))))	Mid-level-ontology.kif 26627-26636	如果 客体 是 Patio 的 instance， 然后 铺砌 是 那个 客体 的 attribute 的声明 has 容易 的语气 和 有存在 另一个 客体 这样 那个 另外 客体 是 建筑物 的 instance 和 那个 客体 在 那个 另外 客体 的 邻 和 那个 客体 是 located 在 在户外
(=>     (instance ?X SecurityUnit)     (modalAttribute         (exists (?S)             (and                 (instance ?S SurveillanceSystem)                 (inScopeOfInterest ?X ?S))) Likely))	Mid-level-ontology.kif 26989-26995	如果 实体 是 安全部门 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 SurveillanceSystem 的 instance 和 那个 实体 对 那个 另外 实体 感兴趣 的声明 has 容易 的语气
(=>     (instance ?X TravelReservation)     (modalAttribute         (exists (?FLIGHT)             (and                 (instance ?FLIGHT FlightReservation)                 (subProposition ?FLIGHT ?X))) Likely))	Hotel.kif 2824-2830	如果 实体 是 TravelReservation 的 instance， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 FlightReservation 的 instance 和 那个 另外 实体 是 那个 实体 的 subProposition 的声明 has 容易 的语气
(=>     (productPrice ?ENT ?PRICE ?AGENT)     (modalAttribute         (=>             (and                 (instance ?S Selling)                 (immediateInstance ?I ?ENT)                 (patient ?S ?I)                 (agent ?S ?AGENT))             (transactionAmount ?S ?PRICE)) Likely))	Catalog.kif 419-428	如果 有认知的主事 sells 有点 实体 對於 货币测量 ， 然后 如果 另一个 实体 是 出售 的 instance 和 第三 实体 是 有点 实体 的 immediateInstance 和 那个 第三 实体 是 那个 另外 实体 的 patient 和 那个 有认知的主事 是 那个 另外 实体 的 agent， 然后 那个 货币测量 是 那个 另外 实体 的 transaction 总额 的声明 has 容易 的语气
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