Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3840-3845	如果客体是 AegilopsGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	如果过程是 BreakingRecord 的 instance 和施事体是那个过程的 agent，然后有存在集合，类,，，另一个过程,，，时点,，，格角色,，，客体， and 和实体这样那个集合是集合的 instance 和那个施事体是那个集合的 element 和那个类是过程的 subclass 和那个客体是地区的 instance 和那个时点是时点的 instance 和那个实体是数量的 instance 和那个另外过程是那个类的 instance 和那个过程提到那个实体和那个实体提到那个另外过程和那个施事体对于那个另外过程在事件那个格角色 plays 角色和那个另外过程是 located 在那个客体和不存在另一个实体和第三实体这样那个另外实体是那个集合的 instance 和那个另外实体不 equal 那个施事体和那个第三实体是那个类的 instance 和那个另外实体对于那个第三实体在事件那个格角色 plays 角色和那个第三实体是 located 在那个客体在那个时点和那个过程出现的 time 的结束间的时段 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	如果实体是 OrganismRemains 的 instance 和过程是死亡的 instance 和施事体经历了那个过程和那个施事体是那个施事体TYPE 的 instance 和那个施事体TYPE 是有机物体的 subclass 和那个实体是那个过程的 result，然后那个实体是一个 dead 那个施事体TYPE 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	如果类是物质的 subclass 和物质是那个类的 instance 和另一个物质是那个物质的 piece，然后那个另外物质是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	如果货币测量是地缘政治区域的 annual 总共输出在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域对于那个有点时距在周期那个货币测量 export 全部
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15400-15407	如果内容承载物理是有点有内用物体的 instance 和有点有内用物体是事实文本的 subclass 和有认知的主事是那个有点有内用物体的 authors 和那个内容承载物理包含公式的内容和那个公式是公式的 instance，然后那个有认知的主事 believes 那个公式
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13516-13527	如果有点客体的 minimum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	如果关系是经济关系的 instance 和那个关系的 1 数量是类的 instance，然后那个类是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	如果物理是反恐的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是恐怖主义的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	如果客体是 DurumWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1263-1267	如果地理区域是有点气候区的 instance 和有点气候区是气候区的 subclass，然后那个有点气候区是那个地理区域地区的 climate 类别
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是客体的 subclass 和过程是另一个有点过程的 instance 和另一个有点过程是过程的 subclass 和另一个实体是那个有点实体的 instance 和那个另外实体是那个过程的 patient，然后那个施事体能够担当主事的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6087-6089	如果图是图的 instance，然后把那个图分成另外两个图的最短路径 Set 是把那个图分成另外两个图的路径 Set 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	如果 ObsessiveCompulsiveDisorder 是有认知的主事的 attribute，然后有存在群体和类这样那个类是那个群体的 member 类别和那个类是调查的 subclass 或那个类是清洁的的 subclass 和如果那个类I 是那个类的 instance，然后那个有认知的主事是那个类I 的 agent 和那个有认知的主事 doesn't wants 那个类I
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 30-34	如果类是 Android 的 subclass 和实体是那个类的 instance，然后 Alphabet公司 created 那个实体
No TPTP formula. May not be expressible in strict first order.	engineering.kif 826-831	如果躯体性物体是 ElectricalConductor 的 instance，然后有存在有点物质这样有点物质是导体物质的 subclass 和那个有点物质是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是过程的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和那个人类是过程的 patient 和那个过程是那个有点物理的 instance 或另一个过程是那个有点物理的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程是 located 在那个暂住，然后那个过程是对于那个人类的 price 0.0 美国美元
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	如果 applicableRelation 客体 and 关系和那个客体是那个客体C 的 instance 和那个关系的 1 数量是另一个类的 instance，然后那个客体C equal 那个另外类或那个客体C 是那个另外类的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3934-3939	如果客体是 EinkornWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 93-97	如果类是苹果作业系统的 subclass 和实体是那个类的 instance，然后苹果 created 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29730-29739	如果物理是对于有点身体部位的 covering 的 subclass，然后那个物理的目的是有存在实体，有点身体部位I， and 和那个物理I 这样那个实体是遮盖的 instance 和那个有点身体部位I 是那个有点身体部位的 instance 和那个物理I 是那个物理的 instance 和那个实体在那个有点身体部位I 结束和那个物理I 是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	如果有点过程是过程的 subclass 和另一个过程是有点过程的 instance 和那个另外过程是 located 在地区和格角色是格角色的 instance 和客体是客体的 instance 和那个地区是地理区域的 instance 和那个格角色那个另外过程 and 那个客体，然后那个有点过程 capable 在地点那个格角色对于那个客体跟那个地区在一起
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2019-2024	如果运输设备是卡车的 instance，然后有存在有点客体这样有点客体是客体的 subclass 和那个有点客体是那个运输设备的 cargo 种类
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	如果躯体性物体是躯体性物体的 instance，然后有存在有点物质和另一个有点物质这样有点物质是物质的 subclass 和另一个有点物质是物质的 subclass 和那个有点物质是那个躯体性物体的材料和那个另外有点物质是那个躯体性物体的材料和那个有点物质不 equal 那个另外有点物质
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	如果有点自身连接物体是对于交通类别地区的 trafficable 和有点自身连接物体是施事体的 subclass 和客体是那个有点自身连接物体的 instance，然后易位 capable 在地点主事对于那个客体跟那个地区在一起
No TPTP formula. May not be expressible in strict first order.	Geography.kif 983-987	如果地缘政治区域是内陆地区的 instance 和有点海事索赔区是海事索赔区的 subclass，然后有点海事索赔区不是那个地缘政治区域的 maritime 要求类型
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	如果群体是 CrossFunctionalTeam 的 instance，然后有存在有点过程，施事体,，，另一个施事体， and 和实体这样有点过程是过程的 subclass 和那个施事体是人类的 instance 和那个另外施事体是人类的 instance 和那个施事体是那个群体的 member 和那个另外施事体是那个群体的 member 和那个施事体 hasSkill 去做那个有点过程和那个另外施事体不 hasSkill 去做那个有点过程和那个实体是那个有点过程的 instance 和那个群体对那个实体感兴趣
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2112-2121	如果地缘政治区域是对于有点时距在其间物理量的 electricity 消耗和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力消耗在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	如果有点有内用物体是联合出版物的 subclass 和内容承载物理是有点有内用物体的 instance 和那个内容承载物理 contains 公式的资料和施事体是那个有点有内用物体的 authors，然后有存在机构这样那个机构是美军 Organization 的一部分和那个施事体要求那个机构执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	如果人类是在施事体的 guest 和那个人类 stays 在暂住和那个暂住是那个施事体的财产的 element 和那个暂住是那个暂住OOM 的 instance 和有点物理是 amenity 在那个暂住OOM 和有点物理是客体的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个暂住和那个施事体允许那个人类执行有存在实体这样那个人类是那个实体的 agent 和那个另外物理是导致那个实体的 instrument 或那个另外物理是那个实体的 patient 或那个另外物理是那个实体的 resource 的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16379-16384	如果生物是另一个生物的 parent 和类是生物的 subclass 和那个生物是那个类的 instance，然后那个另外生物是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2331-2338	如果有点有内用物体是党的平台的 subclass 和有认知的主事是有点有内用物体的 authors 和那个有认知的主事是政治党派的 instance 和内容承载物理是那个有点有内用物体的 instance 和 containsFormula 那个内容承载物理 and 公式，然后那个有认知的主事 believes 那个公式
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	如果有点运输设备是运输设备的 subclass 和有点运输设备的 transportation 是运输的 subclass 和过程是那个有点运输设备的 transportation 的 instance，然后有存在客体这样那个客体是那个有点运输设备的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	如果不有点植物是 found 在地理区域和有点植物是植物的 subclass 和那个地理区域是地理区域的 instance，然后不存在物理这样那个物理是那个有点植物的 instance 和那个物理是 located 在那个地理区域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7528-7533	如果客体是运动队的 instance，然后有存在有点过程这样有点过程是运动的 subclass 和那个客体能够担当主事的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15440	如果内容承载物理是有点有内用物体的 instance 和有点有内用物体是虚构的文字的 subclass 和有认知的主事是那个有点有内用物体的 authors，然后有存在公式这样那个内容承载物理包含那个公式的内容和那个公式是公式的 instance 和那个有认知的主事 doesn't believes 那个公式
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2029-2034	如果有点生化剂是蜱传脑炎病毒的 subclass，然后有存在疾病或综合症这样那个疾病或综合症是蜱传脑炎的 instance 和那个疾病或综合症是有点生化剂的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	如果 Catalog 是 SetMenu 的 instance 和施事体 offers 拍卖样品在那个 Catalog 和有点实体是在那个 Catalog 和有点实体是已准备食物的 subclass 和物理是类的 instance 和另一个物理是那个有点实体的 instance 和那个物理不 equal 那个另外物理和那个物理是对于那个施事体1 的 price 货币测量和那个另外物理是对于那个施事体2 的 price 另一个货币测量，然后那个货币测量 equal 那个另外货币测量
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	如果客体是海鲜的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是鱼的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 600-608	如果客体是另一个有点客体的 instance 和另一个有点客体是细胞核的 subclass 和 %每个那个另外有点客体是真核细胞的 initially part ，然后有存在第三客体这样那个第三客体是染色质的 instance 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	如果 sheddingLeaves 植物 and PlantLeaf 和那个植物是 DeciduousTree 的 instance 和那个 PlantLeaf 是 PlantLeaf 的 instance，然后有存在有点过程和另一个过程这样有点过程是移除的 subclass 和那个有点过程每年持续时间发生一次和那个另外过程是那个有点过程的 instance 和那个植物是那个另外过程的源头和那个 PlantLeaf 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有存在另一个客体和第三客体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个另外客体是那个第三客体的 part 和那个第三客体是那个有点有机物体的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	如果物理是反操作的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是军事行动的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	如果物理是 Protecting 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个第三实体ARM 这样那个实体是客体的 instance 和客体是那个物理的 patient 和那个第三实体ARM 是那个第三实体所描述的类别的 subclass 和那个物理 prevents 那个第三实体ARM 的发生或那个物理 hinders 那个第三实体ARM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9671-9676	如果有点医学是抗生素的 subclass，然后有存在疾病或综合症这样那个疾病或综合症是细菌性疾病的 instance 和 medicine 有点医学 and 那个疾病或综合症
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	如果有点物理是 amenity 在有点 HotelUnit 和有点物理是客体的 subclass，然后对所有客体如果那个客体是有点 HotelUnit 的 instance，然后有存在另一个物理这样那个客体是那个有点 HotelUnit 的 instance 和那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	如果过程是购买的 instance 和实体是那个过程的 patient 和有认知的主事是那个过程的源头和另一个有点实体的 price 从那个有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是另一个有点实体和那个另外有点实体是物理的 subclass 和那个实体是那个另外有点实体的 immediateInstance 和有点付款是 valid payment 在那个 PricingScheme 底下，然后有存在有点付款MENT 这样那个有点付款MENT 是那个有点付款的 instance 和那个有点付款MENT%n是那个过程的subProcess 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4732-4740	如果物理是冰山的 instance，然后有存在类这样那个类是冰川的 subclass 和那个类是那个物理的材料在紧接那个物理出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2324-2329	如果有点有内用物体是党的平台的 subclass 和施事体是有点有内用物体的 authors 和那个施事体是机构的 instance，然后那个施事体是政治党派的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	如果施事体是施事体的 instance 和那个施事体的 election 是选举的 subclass，然后那个施事体是机构的 instance 或那个施事体是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	如果可穿戴物品是呼吸器的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体是过程的 instance 和那个可穿戴物品是导致那个第三实体的 instrument 和那个第三实体 prevents 那个另外实体的发生和那个另外实体是那个第四实体所描述的类别的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14624-14638	如果有点系列是期刊的 subclass 和系列有点系列的第另一个正整数卷 equal 有点文本和系列那个有点系列的第正整数卷 equal 另一个有点文本和那个正整数是 greaterThan 那个另外正整数和过程是出版的 instance 和另一个过程是出版的 instance 和第三实体是有点文本的 instance 和第四实体是另一个有点文本的 instance 和那个第三实体是那个过程的 patient 和那个第四实体是那个另外过程的 patient 和那个过程的 date 是日和那个另外过程的 date 是另一个日，然后那个日的结束%n在那个另外日的结束before发生
No TPTP formula. May not be expressible in strict first order.	Geography.kif 998-1003	如果地理区域是有点海事索赔区的 instance 和有点海事索赔区是海事索赔区的 subclass 和地缘政治区域是那个地理区域的 claimed 领土，然后那个有点海事索赔区是那个地缘政治区域的 maritime 要求类型
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	如果 Oversized 是客体的 attribute 和那个客体是类的 immediateInstance 和那个类是 HotelUnit 的 subclass，然后有存在物理，实数,，，另一个实数， and 和测量单位这样那个物理是那个类的 immediateInstance 和那个测量单位是 UnitOfArea 的 instance 和那个物理的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个实数是面积测量的 instance 和那个另外实数是面积测量的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2583-2592	如果地缘政治区域对于有点时距在周期货币测量 import 全部和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个货币测量是那个地缘政治区域的 annual 总共输入在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	如果有点实体的 price 从有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是有点实体和那个有点实体是物理的 subclass 和另一个实体是那个有点实体的 immediateInstance 和那个 PricingScheme 是 valid 对于有点施事体和第三实体是有点施事体的 instance，然后如果第四实体是购买的 instance 和那个第三实体是那个第四实体的 agent 和那个有认知的主事是那个第四实体的源头和那个另外实体是那个第四实体的 patient，然后那个货币测量是那个第四实体的 transaction 总额的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 137-141	如果类是另一个类的 subclass，然后那个类是类的 instance 和那个另外类是类的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	如果实体是 SheddingPart 的 instance 和那个实体另一个实体 and 第三实体和那个另外实体是那个另外实体RG 的 instance 和那个另外实体RG 是生物的 subclass，然后有存在那个第三实体ART 这样那个第三实体是一个 dead 那个第三实体ART 的 instance 和 %每个那个第三实体ART 是那个另外实体RG 的 initially part
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 62-66	如果类是 WindowsOS 的 subclass 和实体是那个类的 instance，然后微软 created 那个实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 828-830	如果类是类的 instance，然后那个类是实体的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 208-212	如果 Catalog 是 BeverageMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是饮料的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	如果地缘政治区域对于有点时距在周期货币测量 export 全部和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个货币测量是那个地缘政治区域的 annual 总共输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1044-1059	如果施事体 believes 另一个施事体是 Quick 和那个施事体 believes 第三施事体是 Slow 和过程是类的 instance 和另一个过程是那个类的 instance 和那个类是过程的 subclass 和那个另外施事体是那个过程的 agent 和那个第三施事体是那个另外过程的 agent，然后测量单位是 UnitOfDuration 的 instance 和那个过程出现的 time 的 duration 是实数那个测量单位和那个另外过程出现的 time 的 duration 是另一个实数那个测量单位和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1688-1693	如果躯体性物体是 CharcoalFilter 的 instance，然后有存在有点物质这样有点物质是 Charcoal 的 subclass 和那个有点物质是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13798-13807	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数英寸汞是那个客体的 barometric 压力和 29.92 是 greaterThan 那个实数和另一个实数凯文度是那个有点純物质的 boiling 点和那个客体的 measure 是第三实数凯文度和那个第三实数是 greaterThan 那个另外实数，然后加油站是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2287-2292	如果有点运输设备是水车的 subclass 和过程是有点运输设备的 transportation 的 instance 和那个过程是 located 在客体，然后那个客体是水域的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 200-205	如果关系是另一个关系的 subrelation 和那个另外关系是类的 instance 和那个类是可继承的关系的 subclass，然后那个关系是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 98-104	如果实体是类的 immediateInstance，然后不存在另一个类这样那个另外类是那个类的 subclass 和那个另外类不 equal 那个类和那个实体是那个另外类的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	如果疾病或综合症是对于有点过程的 disease 治愈杆菌肽，然后那个疾病或综合症是细菌性疾病的 instance 和有点过程是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	如果 Pulmonologist 是客体的 attribute，然后有存在过程，另一个过程,，，另一个客体， and 和第三客体这样类是诊断过程的 subclass 和另一个类是治疗过程的 subclass 和那个另外客体是那个过程的 patient 和那个另外客体是那个另外过程的 patient 和那个第三客体是肺的 instance 和那个第三客体是那个另外客体的 part 和那个过程是 located 在肺和那个另外过程是 located 在肺
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14789-14798	如果类是报纸的 subclass 和时间位置是星期的 instance，然后有存在过程和实体这样那个过程是出版的 instance 和那个过程出现的 time 时段是那个时间位置时段的一 part 和那个实体是那个过程的 result 和那个实体是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6191-6199	如果有点植物是 found 在地理区域和有点植物是植物的 subclass 和那个地理区域是地理区域的 instance，然后有存在物理这样那个物理是那个有点植物的 instance 和那个物理是 located 在那个地理区域
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	如果物理是防护眼镜的 instance，然后那个物理的目的是如果有存在那个物理RSON 这样那个物理RSON 是人类的 instance 和那个物理RSON wears 那个物理，然后有存在另一个实体，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个第五实体所描述的类别的 subclass 和那个另外实体 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	如果过程是娱乐或锻炼的 instance 和那个过程M 是导致那个过程的 instrument 和那个过程M 是 RowingMachine 的 instance 和施事体经历了那个过程和那个过程OW 是划船的 instance 和那个过程MOT%n是那个过程的subProcess 和类是身体运动的 subclass 和那个过程MOT 是那个类的 instance，然后有存在那个过程OWMOT 这样那个过程OWMOT 是那个类的 instance 和那个过程OWMOT%n是那个过程的subProcess 和那个施事体是那个过程OWMOT 的 agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	如果地缘政治区域是对于有点时距在周期物理量的 electricity 生产和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力生产在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3993-3998	如果客体是 SpeltWheatGrass 的 instance 和那个客体ELL 是那个客体的 part 和那个客体ELL 是那个客体LASS 的 instance，然后那个客体LASS 是 HexaploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	如果群体和另一个群体是 orthogonal tests 和客体是人类的 instance 和物理是有点过程的 instance 和有点过程是试验的 subclass 和那个物理是那个群体的 member 和那个客体能够担当 experimentalSubject 的角色做那个有点过程，然后有存在另一个物理和另一个有点过程这样那个另外物理是另一个有点过程的 instance 和那个另外物理是那个另外群体的 member 和那个另外有点过程是试验的 subclass 和那个客体能够担当 experimentalSubject 的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	如果过程是暴力比赛的 instance 和客体是那个过程的 patient 和 InjuryCausedFn 另一个有点过程是那个客体的 attribute 和 ImpairedBodyPartFn 空中航线是那个客体的 attribute，然后另一个有点过程是燃烧的 subclass 或有存在实体这样另一个实体是受伤的 instance 和那个另外实体是 located 在第三实体和那个第三实体是面对的 instance 和那个客体是那个另外实体的 patient 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21089-21101	如果艺术评论家是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是艺术品的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是文章的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4365-4372	如果客体是香料的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是植物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 989-996	如果有点海事索赔区是地缘政治区域的 maritime 要求类型和有点海事索赔区是海事索赔区的 subclass，然后有存在地理区域这样那个地理区域是那个有点海事索赔区的 instance 和那个地缘政治区域是那个地理区域的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	如果格角色是格角色的 instance 和那个格角色实体 and 客体和那个实体是有点过程的 instance 和有点过程是过程的 subclass，然后那个客体能够担当那个格角色的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3963-3968	如果客体是 CommonWheatGrass 的 instance 和那个客体ELL 是那个客体的 part 和那个客体ELL 是那个客体LASS 的 instance，然后那个客体LASS 是 HexaploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	如果有点自身连接物体是对于交通类别地区的 trafficable 和有点自身连接物体是运输设备的 subclass 和客体是那个有点自身连接物体的 instance，然后运输 capable 在地点工具对于那个客体跟那个地区在一起
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数凯文度是那个有点純物质的 melting 点和另一个实数英寸汞是那个客体的 barometric 压力和那个另外实数是 greaterThan 29.92 和那个客体的 measure 是第三实数凯文度和那个第三实数是 lessThan 那个实数，然后固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	如果正整数 day 是有点假日的 commemorates 日期和实体是有点假日的 instance 和那个有点假日是固定假期的 subclass 和整数是 lessThanOrEqualTo 另一个实体-YEAR，然后那个实体是那个正整数 day 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域 annual 的电力输入在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	如果施事体是有认知的主事的 customer 和那个施事体有有点物理和有点物理是客体的 subclass 和实体是那个有点物理的 instance，然后那个施事体允许那个有认知的主事执行有存在另一个实体这样那个另外实体是过程的 instance 和那个实体是那个另外实体的 resource 或那个实体是导致那个另外实体的 instrument 或那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent 或那个有认知的主事经历了那个另外实体的任务
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	如果作家是施事体的 attribute 和实体是有点有内用物体的 instance 和有点有内用物体是文本的 subclass 或那个有点有内用物体是 Document 的 subclass 和过程是写作的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 result，然后那个施事体是那个有点有内用物体的 authors
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	如果有点客体 equal 另一个有点客体跟属性的 attr 和第三客体是有点客体的 instance，然后那个第三客体是另一个有点客体的 instance 和那个有点客体是那个另外有点客体的 subclass 和那个属性是那个第三客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 219-223	如果 Catalog 是 AlcoholMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是酒精饮料的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	如果 ADHD 是施事体的 attribute 和 ADHD 不是另一个施事体的 attribute 和那个施事体不 equal 那个另外施事体和过程是类的 instance 和另一个过程是那个类的 instance 和那个类是有意图的心理过程的 subclass 和那个施事体是那个过程的 agent 和那个另外施事体是那个另外过程的 agent 和那个过程出现的 time 的 duration 是持续时间和那个另外过程出现的 time 的 duration 是另一个持续时间，然后那个另外持续时间是 greaterThan 那个持续时间的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	如果类是身体组织的 subclass 和另一个类是身体组织的 subclass 和客体是那个类的 instance 和另一个客体是那个另外类的 instance 和第三客体是人类的 instance 和那个客体是那个第三客体的 part 和那个另外客体是那个第三客体的 part 和那个类不 equal 那个另外类和那个类不是那个另外类的 subclass 和那个另外类不是那个类的 subclass 和那个客体在那个另外客体的邻，然后有存在实体这样那个实体是 ConnectiveTissue 的 instance 和那个实体是在那个客体和那个另外客体 between 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3948-3953	如果客体是 TriticumUrartu 的 instance 和另一个客体是那个客体的 part 和那个客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3005-3010	如果关系的正整数数量是类的 subclass 和那个关系是谓语的 instance 和那个关系 @ROW，然后 (@ROW) 的第那个正整数几个元素是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	如果有点物理是区域地理区域的 natural 有害类别和有点物理是过程的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个地理区域和那个地理区域出现的 time 时段和那个另外物理出现的 time 重叠
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	如果有点 HotelUnit 的承租人能 pay 去使用有点物理和有点物理是客体的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和客体是那个有点物理的 instance 和那个客体是 located 在那个暂住和过程是过程的 instance 和那个人类是那个过程的 agent 和那个过程是 located 在那个暂住或那个客体是那个过程的 patient 或那个客体是导致那个过程的 instrument 或那个客体是那个过程的 resource，然后有存在那个过程RICE 和测量单位这样那个客体是对于那个人类的 price 那个过程RICE 那个测量单位和那个测量单位是 UnitOfCurrency 的 instance 和那个过程RICE 是 greaterThan 0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	如果物理量是地缘政治区域 annual 的电力输入在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 输出
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16981-16986	如果客体是游戏神器的 instance，然后有存在有点过程这样有点过程是游戏的 subclass 和那个客体能够担当工具的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	如果施事体是施事体的 instance 和有点年是年的 subclass，然后那个施事体和有点年的 fiscal 开始年分是那个施事体的 fiscal 年的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6931-6936	如果地缘政治区域是有点地理区域所有的 instances 在另一个地缘政治区域的 instance 和有点地理区域是地缘政治区域的 subclass 和那个另外地缘政治区域是地缘政治区域的 instance，然后那个地缘政治区域是那个另外地缘政治区域的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14606-14613	如果有点系列是新闻节目的 subclass 和实体是系列有点系列的第?NUMBER卷的 instance，然后有存在过程这样那个过程是传播的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1040-1047	如果躯体性物体是 SnowSki 的 instance 和有点物质是那个躯体性物体的材料，然后有点物质是金属的 subclass 或那个有点物质是木的 subclass 或那个有点物质是塑料的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13818	如果客体是有点純物质的 instance 和有点純物质是純物质的 subclass 和实数凯文度是那个有点純物质的 boiling 点和另一个实数凯文度是那个有点純物质的 melting 点和那个客体的 measure 是第三实数凯文度和那个第三实数是 greaterThan 那个另外实数和那个第三实数是 lessThan 那个实数，然后液体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 229-233	如果 Catalog 是 WineMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是 WineMenu 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2130	如果物理量是地缘政治区域的 annual 电力消耗在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在其间那个物理量的 electricity 消耗
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	如果货币测量是地缘政治区域的 annual 总共输入在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域对于那个有点时距在周期那个货币测量 import 全部
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	如果 Catalog 是 Menu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是 food for 人类的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	如果军车是对于正整数的 weapon 携带容量有点武器和客体是有点武器的 instance 和那个客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass 或那个有点过程是损坏的 subclass，然后那个军车能够担当那个格角色的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	如果有点物理的使用对于有点 HotelFunctionRoom 是免费和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个过程在另一个实体结束和有点物理是客体的 subclass，然后有存在第三实体和第四实体这样那个第三实体是那个有点物理的 instance 和那个第四实体是过程的 instance 和那个第三实体是那个第四实体的 resource 或那个第三实体是导致那个第四实体的 instrument 或那个第三实体是那个第四实体的 patient 和那个另外实体是那个第四实体的 agent 或那个另外实体经历了那个第四实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3392-3396	如果函数是序列函数的 instance 和那个函数的 range 是类的实例，然后那个类是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	如果时距是那个时距_CLASS 的 instance 和那个时距_CLASS 是过程的 subclass 和 AccessingWebPage 是 AccessingWebPage 的 instance 和施事体是施事体的 instance 和那个施事体是那个时距的 agent 和那个施事体是那个 AccessingWebPage 的 agent 和那个时距在那个 AccessingWebPage 时段内发生和物理是时距的 instance 和不存在那个时距2 这样那个时距2 是那个时距_CLASS 的 instance 和那个施事体是那个时距2 的 agent 和那个时距2 在那个 AccessingWebPage 时段内发生和那个时距2 出现的 time 的开始%n在那个时距出现的 time 的开始before发生和那个 AccessingWebPage 出现的 time 的开始 equal 那个物理出现的 time 的开始和那个时距出现的 time 的开始 equal 那个物理出现的 time 的结束，然后那个 AccessingWebPage 的 time 在类别那个时距_CLASS equal 那个物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24195-24206	如果物理是婚礼的 instance 和那个物理的 date 是日和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样 weddingAnniversary 那个物理 and 另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8293-8302	如果实体是职业贸易的 instance 或那个实体是职业的 instance 和那个实体是另一个实体的 attribute 在时间位置 holdsDuring，然后有存在类这样那个类是研究领域的 subclass 和那个类有在那个另外实体的专业知识在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	如果有点 HotelUnit 的承租人能 pay 去使用有点物理和有点物理是过程的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和那个人类是过程的 patient 和那个过程是那个有点物理的 instance 或另一个过程是那个有点物理的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程是 located 在那个暂住，然后有存在那个过程RICE 和测量单位这样那个过程是对于那个人类的 price 那个过程RICE 那个测量单位和那个测量单位是 UnitOfCurrency 的 instance 和那个过程RICE 是 greaterThan 0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	如果物理量是地缘政治区域的 annual 电力生产在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 生产
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	如果客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass，然后有存在另一个客体这样那个另外客体是武器的 instance 和那个另外客体是那个客体的 part 和那个另外客体能够担当那个格角色的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2271-2278	如果有点物理是区域地理区域的 natural 有害类别和有点物理是客体的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个地理区域
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	如果有点实体的 price 从有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是有点实体和那个有点实体是物理的 subclass 和另一个实体是那个有点实体的 immediateInstance 和那个 PricingScheme 是 valid during 时距，然后如果第三实体是出售的 instance 和那个有认知的主事是那个第三实体的 agent 和那个另外实体是那个第三实体的 patient，然后那个货币测量是那个第三实体的 transaction 总额的声明 has 容易的语气在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7351-7365	如果客体是礼堂座位的 instance 和那个客体是另一个客体的 part 和第三客体是那个另外客体的 part 和那个另外客体是礼堂的 instance 和那个第三客体是表演阶段的 instance 和第四客体是 located 在那个客体和那个第四客体是人类的 instance 和有点过程是看的 subclass 和对所有另一个过程如果那个另外过程是有点过程的 instance，然后那个第三客体是那个另外过程的 patient ，然后那个第四客体能够担当主事的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2193-2203	如果物理是反侦察的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是 ReconnaissanceOperation 的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15016-15024	如果群体是行业的 instance，然后有存在物理，另一个物理， and 和类这样那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个类是法人财团的 subclass 和那个物理是那个类的 immediateInstance 和那个另外物理是那个类的 immediateInstance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	如果客体是 meat 的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3872-3877	如果客体是 EmmerWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 299-306	如果客体是 FoodFromPlant 的 instance，然后有存在另一个客体和有点有机物体这样那个另外客体是一个 dead 有点有机物体的 instance 和那个客体是那个另外客体的 part 和那个有点有机物体是植物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13547-13558	如果有点客体的 maximum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 那个第三实体是 greaterThan 那个实数那个测量单位的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	engineering.kif 855-860	如果躯体性物体是电阻元件的 instance，然后有存在有点物质这样有点物质是绝缘体物质的 subclass 和那个有点物质是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 139-150	如果施事体 offers 拍卖样品在 Catalog 在其间时距和有点实体是在那个 Catalog 和有点实体是客体的 subclass 和过程是另一个有点过程的 instance 和另一个有点过程是过程的 subclass 和另一个实体是那个有点实体的 instance 和那个另外实体是那个过程的 patient 和那个时距是另一个有点时距的 instance 和另一个有点时距是时距的 subclass，然后那个施事体是 capable 当成主事在那个另外有点过程在期间那个另外有点时距
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	如果有点物理是 amenity 在有点 HotelUnit 和有点物理是过程的 subclass，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是有点 HotelUnit 的 instance 和那个实体是那个第三实体的财产的 element 和那个第三实体是那个另外实体的 agent 和那个另外实体是那个有点物理的 instance 或那个第四实体是那个有点物理的 instance 和那个另外实体%n是那个第四实体的subProcess 和那个另外实体是 located 在那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18084-18092	如果过程是收获的 instance 和实体是那个过程的 result，然后有存在那个实体RG 这样那个实体是一个 dead 那个实体RG 的 instance 和那个实体RG 是有机物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	如果 DutyFree 是客体的 attribute 和那个客体是商店的 instance，然后有存在地缘政治区域，实体,，，另一个有点客体， and 和过程这样那个地缘政治区域是地缘政治区域的 instance 和那个客体是 located 在那个地缘政治区域和另一个有点客体是客体的 subclass 和那个另外有点客体是那个地缘政治区域的 import 商品种类和那个实体是那个另外有点客体的 instance 和那个过程是出售的 instance 和那个实体是那个过程的 patient 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21066-21080	如果新闻记者是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是报纸的 subclass 或那个第三实体是新闻节目的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是命题的 subclass，然后有存在另一个实体，第三实体， and 和第四实体这样那个另外实体是那个有点实体的 instance 和那个第四实体表示那个另外实体的内容和那个第三实体是出售的 instance 和那个第四实体是那个第三实体的 patient 和那个施事体是那个第三实体的 agent 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是物理的 subclass，然后有存在另一个实体和第三实体这样那个第三实体是那个有点实体的 instance 和那个另外实体是出售的 instance 和那个施事体是那个另外实体的 agent 和那个第三实体是那个另外实体的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是客体的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和客体是那个有点物理的 instance 和那个客体是 located 在那个暂住和过程是过程的 instance 和那个人类是那个过程的 agent 和那个客体是那个过程的 patient 或那个客体是导致那个过程的 instrument 或那个客体是那个过程的 resource，然后那个客体是对于那个人类的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	如果客体是河的 instance 和有点自身连接物体是对于交通类别那个客体的 trafficable 和有点自身连接物体是水车的 subclass，然后那个客体是水路的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3600-3605	如果躯体性物体是货币硬币的 instance，然后有存在有点物质这样有点物质是金属的 subclass 和那个有点物质是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14705-14709	如果符号串在 ISO-639-1 denotes 实体，然后那个实体是人类语言的 instance 或那个实体是另一个实体是人类语言的 subclass 的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	如果施事体是有认知的主事的 customer 和那个施事体有有点物理和有点物理是过程的 subclass，然后有存在实体，另一个实体， and 和第三实体这样那个另外实体是那个施事体的财产的 element 和那个施事体是那个实体的 agent 和那个有认知的主事是那个实体的 patient 和那个实体是那个有点物理的 instance 或那个第三实体是那个有点物理的 instance 和那个实体%n是那个第三实体的subProcess 和那个实体是 located 在那个另外实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1786	如果客体是有点复合物质的 instance 和有点复合物质是复合物质的 subclass 和不存在另一个客体这样那个另外客体是那个有点复合物质的 instance 和那个另外客体是那个客体的 part 和 molecularRatio 有点元素物质, 整数 and 那个有点复合物质和群体是群组的 instance 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part 和那个第三客体是有点元素物质的 instance，然后那个整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 130-137	如果施事体 offers 拍卖样品在 Catalog 在其间时距和有点实体是在那个 Catalog 和有点实体是过程的 subclass 和那个时距是另一个有点时距的 instance 和另一个有点时距是时距的 subclass，然后那个施事体是 capable 当成主事在那个有点实体在期间那个另外有点时距
No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	如果实体是有点 meat 的 instance 和有点 meat 是海鲜的 subclass，然后有存在生物，那个实体EA， and 和有点动物这样那个有点 meat 是有点动物的 meat 和那个生物是那个有点动物的 instance 和那个实体EA 是水体的 instance 和那个生物住在那个实体EA
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	如果物理量是地缘政治区域的 annual 电力输出在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 输出
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	如果物理是 Immunosuppressive 的 subclass，然后那个物理的目的是实体是 AutoImmuneDisorder 的 instance 和那个实体是对于另一个实体的 disease 治愈那个物理
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 143-147	如果类是另一个类的 subclass 和实体是那个类的 instance，然后那个实体是那个另外类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	如果过程是决定的 instance 和有认知的主事是那个过程的 agent 和集合是集合的 instance 和那个集合是那个过程的 patient 和实体是那个集合的 element，然后那个有认知的主事 believes 有存在另一个实体这样那个实体是那个另外实体的 instance 和那个另外实体是有意图过程的 subclass 和那个有认知的主事能够担当主事的角色做那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23260-23267	如果客体对于过程在事件格角色 plays 角色和那个过程是另一个有点过程的 instance 和另一个有点过程是过程的 subclass 和那个过程在时间位置是存在和那个过程是 located 在另一个客体，然后那个客体对于那个另外有点过程和那个时间位置和那个另外客体在事件类别那个格角色 plays 角色
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	如果过程是砍伐的 instance 和实体是那个过程的 result，然后有存在那个实体TEM 这样那个实体是一个 dead 那个实体TEM 的 instance 和那个实体TEM 是 PlantStem 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	如果客体是植物的 instance 和另一个客体是那个客体的 part，然后有存在过程，实体， and 和另一个有点过程这样那个过程是另一个有点过程的 instance 和那个另外有点过程是保存的 subclass 和那个实体是淡水的 instance 和那个实体是那个过程的 patient 和那个另外客体能够担当工具的角色做那个另外有点过程和那个另外客体是 PlantLeaf 的 instance 或那个另外客体是 PlantStem 的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	子类别是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	子类别是偏序关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18472-18472	子类别是 ClosedWorldPredicate 的 instance

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