or - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42384-42384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42383-42383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42382-42382

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace 是 located 在地缘政治区域和那个 PostalPlace 是 PostalPlace 的 instance 和那个地缘政治区域是国家的 instance 或那个地缘政治区域是依赖或特殊主权领域的 instance 若且唯若那个 PostalPlace 是在那个地缘政治区域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	如果有认知的主事有义务去做在协议的命题道义属性和那个道义属性 equal 义务或那个道义属性 equal 诺言，然后有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	如果 WheelchairAccessible 是客体的 attribute 和那个客体是建筑物的 instance 或那个客体是房间的 instance，然后有存在实体和另一个实体这样那个实体是运动的 instance 和那个另外实体是导致那个实体的 instrument 和那个另外实体是 Wheelchair 的 instance 和那个实体是 located 在那个客体的声明 has 可能性的语气
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.	Medicine.kif 367-385	如果 breathingRate 施事体, 时距 and 整数和那个时距是分钟的 instance 和不存在那个整数这样那个整数是娱乐或锻炼的 instance 和那个施事体是那个整数的 agent 和那个时距在那个整数出现的 time 时段内发生和人类成人是那个施事体的 attribute 在那个时距 holdsDuring 和那个整数是 greaterThan 16 或那个整数是 lessThan 12，然后 Healthy 不是那个施事体的 attribute 在那个时距 holdsDuring
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.	Economy.kif 2156-2165	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力输出在那个时间位置 holdsDuring
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.	Economy.kif 1980-1989	如果地缘政治区域是对于有点时距在周期物理量的 electricity 生产和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力生产在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	如果图路径的值 equal 实数和图弧是那个图路径的 part 和另一个图弧是那个图路径的 part 和那个图弧的值是另一个实数和那个另外图弧的值是第三实数和对所有图元素如果那个图元素是那个图路径的 part，然后那个图元素 equal 那个图弧或那个图元素 equal 那个另外图弧，然后那个图路径的值 equal (那个另外实数和那个第三实数)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	如果图路径的值 equal 实数和另一个图路径是那个图路径的 subGraph 和图弧是那个图路径的 part 和那个图弧的值是另一个实数和对所有图元素如果那个图元素是那个图路径的 part，然后那个图元素是那个另外图路径的 part 或那个图元素 equal 那个图弧，然后那个实数 equal (那个另外图路径的值和那个另外实数)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 OilFromPlant 的 subclass 和另一个有点客体是种子的 subclass 或那个另外有点客体是水果的 subclass，然后有存在第三有点客体这样第三有点客体是开花植物的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 initially part
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.	Hotel.kif 841-862	如果有点物理是 free 对于顾客出租有点 HotelFunctionRoom 和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个过程在有认知的主事结束和客体是有点物理的 instance 和那个施事体 possesses 那个客体和那个施事体是那个有认知的主事的 customer 和那个客体是过程的 instance 和那个有认知的主事是那个客体的 agent 或那个有认知的主事经历了那个客体或那个施事体 possesses 那个客体和那个客体是客体的 instance 和那个有认知的主事 uses 那个客体，然后那个客体是对于那个施事体的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	如果有点物理的使用是对于施事体免费和过程是有点物理的 instance 和那个施事体是有认知的主事的 customer 和那个过程是过程的 instance 和那个有认知的主事是那个过程的 agent 或那个有认知的主事经历了那个过程或那个施事体 possesses 那个过程和那个过程是客体的 instance 和那个有认知的主事 uses 那个过程，然后那个过程是对于那个施事体的 price 0 美国美元
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.	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.	Anatomy.kif 1838-1860	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第三客体接上那个另外客体或那个第五客体接上那个另外客体，然后那个第四客体不接上那个另外客体和那个第六客体不接上那个另外客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	如果 LateralRecumbant 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 LeftArm 的 instance 和那个第三客体是那个客体的 part 和第四客体是 RightArm 的 instance 和那个第四客体是那个客体的 part 和第五客体是 LeftLeg 的 instance 和那个第五客体是那个客体的 part 和第六客体是 RightLeg 的 instance 和那个第六客体是那个客体的 part 和那个第四客体接上那个另外客体或那个第六客体接上那个另外客体，然后那个第三客体不接上那个另外客体和那个第五客体不接上那个另外客体在那个时间位置 holdsDuring
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 2167-2174	如果物理量是地缘政治区域的 annual 电力输出在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 输出
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.	Economy.kif 1991-1998	如果物理量是地缘政治区域的 annual 电力生产在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 生产
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.	Economy.kif 2594-2601	如果货币测量是地缘政治区域的 annual 总共输入在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域对于那个有点时距在周期那个货币测量 import 全部

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4768-4779	实数的绝对值 equal 非负实数和那个实数是实数的 instance 和那个非负实数是实数的 instance 若且唯若那个实数是非负实数的 instance 和那个实数 equal 那个非负实数或那个实数是负实数的 instance 和那个非负实数 equal (0.0 和那个实数)
No TPTP formula. May not be expressible in strict first order.	Government.kif 1400-1404	女王是客体的 attribute 若且唯若 QueenRegnant 是那个客体的 attribute 或 QueenConsort 是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1889	实数是 greaterThanOrEqualTo 另一个实数若且唯若那个实数 equal 那个另外实数或那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1601-1607	LegalAgent 是实体的 attribute 在时间位置 holdsDuring 若且唯若那个实体能够担当主事的角色做法律诉讼或那个实体能够担当受事的角色做法律诉讼在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11682-11689	客体是骨骼的 instance 若且唯若有存在另一个客体这样那个另外客体是骨架的 instance 或那个另外客体是外骨骼的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3504-3513	实体是大陆的 instance 若且唯若非洲 equal 那个实体或北美 equal 那个实体或南美洲 equal 那个实体或南极洲 equal 那个实体或欧洲 equal 那个实体或亚洲 equal 那个实体或大洋洲 equal 那个实体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3488-3494	实体是半球的 instance 若且唯若那个实体 equal 北半球或那个实体 equal 南半球或那个实体 equal 东半球或那个实体 equal 西半球
No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	机构是政府组织的 instance 若且唯若那个机构是政府的 instance 或有存在另一个机构这样那个另外机构是政府的 instance 和那个机构是那个另外机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1871	实数是 lessThanOrEqualTo 另一个实数若且唯若那个实数 equal 那个另外实数或那个实数是 lessThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17103-17107	客体在另一个客体的邻若且唯若那个客体在那个另外客体的近或那个客体和那个另外客体是 connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17091-17095	客体在另一个客体的下面若且唯若那个另外客体在那个客体的上或那个另外客体在那个客体的以上
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	如果命题 agreement 对于另一个命题的修改日期有点时间位置，然后有存在另一个时间位置这样那个另外时间位置是有点时间位置的 instance 和那个另外命题不是那个命题的 subProposition 在紧接那个另外时间位置 before holdsDuring 和那个另外命题是那个命题的 subProposition 在紧接那个另外时间位置 after holdsDuring 或那个另外命题是那个命题的 subProposition 在紧接那个另外时间位置 before holdsDuring 和那个另外命题不是那个命题的 subProposition 在紧接那个另外时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	如果金融账户对于时间位置到期的 amount 货币测量和有认知的主事持有 account 那个金融账户，然后那个有认知的主事有义务执行符号串所描述的类别的任务
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.	Military.kif 286-297	如果属性是施事体的 attribute 和那个属性是委任军官级别的 instance，然后有存在过程和客体这样那个过程是管理的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个客体是军事组织的 instance 或士兵是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	如果 FOK订单是协议的 attribute 和时距是那个协议的 agreement 週期，然后有存在过程和另一个时距这样那个过程是填写订单的 instance 和那个协议是那个过程的 patient 和那个过程出现的 time equal 那个另外时距和那个另外时距 starts了才到那个时距或有存在另一个过程和第三时距这样那个另外过程是取消订单的 instance 和那个协议是那个另外过程的 patient 和那个另外过程出现的 time equal 那个第三时距和那个第三时距 starts了才到那个时距
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	如果 GTC订单是协议的 attribute 和时距是那个协议的 agreement 週期，然后有存在过程和另一个时距这样那个过程是填写订单的 instance 和那个协议是那个过程的 patient 和那个过程出现的 time equal 那个另外时距和那个时距时段和那个另外时距重叠或有存在另一个过程和第三时距这样那个另外过程是取消订单的 instance 和那个协议是那个另外过程的 patient 和那个另外过程出现的 time equal 那个第三时距和那个第三时距 finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	如果国际奥委会订单是协议的 attribute 和时距是那个协议的 agreement 週期，然后有存在过程和另一个时距这样那个过程是填写订单的 instance 和那个协议是那个过程的 patient 和那个过程出现的 time equal 那个另外时距和那个另外时距 starts了才到那个时距或有存在另一个过程和第三时距这样那个另外过程是取消订单的 instance 和那个协议是那个另外过程的 patient 和那个另外过程出现的 time equal 那个第三时距和那个第三时距 starts了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	如果 Multilingual 是施事体的 attribute 和过程是说话的 instance 和那个施事体是那个过程的 agent，然后有存在实体和另一个实体这样那个实体是口语人类语言的 instance 和那个另外实体是口语人类语言的 instance 和那个实体不 equal 那个另外实体和那个实体是那个过程的 patient 或那个另外实体是那个过程的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	如果实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后加油站是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是沸腾的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	如果施事体是有认知的主事的 customer 和那个施事体 employs 另一个有认知的主事和旅客住宿是那个施事体的 attribute 和 Porter 是那个另外有认知的主事的 attribute 和那个有认知的主事 possesses 客体和那个客体是旅行集装箱的 instance，然后有存在另一个客体和过程这样那个另外客体是 HotelUnit 的 instance 和那个过程是携带的 instance 和那个另外有认知的主事是那个过程的 agent 和那个过程在那个另外客体结束或那个另外客体是那个过程的源头
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.	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.	Merge.kif 221-227	如果关系的正整数数量是类的 instance 和那个关系的那个正整数数量是另一个类的 instance，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 244-250	如果关系的正整数数量是类的 subclass 和那个关系的那个正整数数量是另一个类的 subclass，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Military.kif 933-946

地缘政治区域和年每年的 reaching 军事男性年龄 equal 符号串所描述的类别 instance 的数量

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: