agent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1865-1867
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2383-2386
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2379-2379	主事的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2380-2380	主事的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2377-2377	主事是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2378-2378	主事是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2381-2381	主事是参与活动的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.	english_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22265-22265	typicalAction 和主事是内部相关
No TPTP formula. May not be expressible in strict first order.	Law.kif 270-270	arrestingOfficer 是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19051-19051	比赛参与者是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22882-22882	取得控制权是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 23-23	入侵病毒是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Law.kif 314-314	perpetrator 是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15717-15717	原告是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Law.kif 352-352	prosecutor 是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22326-22326	服务供应者是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 54-54

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18212-18218	如果施事体是过程的 agent 和实体是那个过程的 result 和那个实体是艺术品的 instance，然后 Artist 是那个施事体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	如果施事体是过程的 agent 和客体是那个过程的源头和物理是那个过程的 patient 和那个物理的价值是货币测量，然后有存在金融交易这样那个金融交易%n是那个过程的subProcess 和那个金融交易是付款的 instance 和那个货币测量是那个金融交易的 transaction 总额和那个施事体是那个金融交易的源头和那个金融交易在那个客体结束
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	如果 AppraisalAsJustTreatment 是有认知的主事的 attribute 和那个有认知的主事JT 是 AppraisalProcess 的 instance 和那个有认知的主事是那个有认知的主事JT 的 agent，然后有存在另一个过程和那个有认知的主事2 这样那个另外过程是过程的 instance 和那个有认知的主事JT 提到那个另外过程和那个有认知的主事2 是那个另外过程的 agent 和那个有认知的主事不 equal 那个有认知的主事2 和那个有认知的主事是那个另外过程的 patient 和那个有认知的主事 wants 那个另外过程
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	如果 AppraisalAsUnjustTreatment 是有认知的主事的 attribute 和那个有认知的主事UJ 是 AppraisalProcess 的 instance 和那个有认知的主事是那个有认知的主事UJ 的 agent，然后有存在另一个过程和那个有认知的主事2 这样那个另外过程是过程的 instance 和那个有认知的主事UJ 提到那个另外过程和那个有认知的主事2 是那个另外过程的 agent 和那个有认知的主事不 equal 那个有认知的主事2 和那个有认知的主事是那个另外过程的 patient 和那个有认知的主事 doesn't wants 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Biography.kif 524-543	如果配音演员是施事体的 attribute 和过程是戏剧表演的 instance 和那个施事体是那个过程的 agent 和另一个过程是语言交流的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程%n是那个过程的subProcess，然后不存在第三过程这样那个第三过程是看的 instance 和那个施事体是那个第三过程的 patient 和另一个施事体是那个第三过程的 agent 和有存在第四过程这样那个第四过程是听的 instance 和那个施事体是那个第四过程的 patient 和那个另外施事体是那个第四过程的 agent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	如果 mausaharati 是施事体的 attribute 和时距是鼓声的 instance 和那个施事体是那个时距的 agent 和那个时距AY 是日的 instance 和另一个时距是日出的 instance 和那个另外时距在那个时距时段内发生和那个时距%n在那个另外时距 before发生，然后那个时距的目的是有存在另一个实体，那个另外时距UHUR， and 和第四实体这样那个第四实体是起来的 instance 和那个另外实体经历了那个第四实体和那个另外时距UHUR 是封斋饭的 instance 和那个另外实体是那个另外时距UHUR 的 agent 和那个第四实体%n在那个另外时距UHURbefore发生和那个第四实体在那个时距AY 时段内发生和那个另外时距UHUR 在那个时距AY 时段内发生
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 125-134	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1160-1177	如果 CommunalAttribute 是客体的 attribute 和那个客体是表的 instance 和过程是进食的 instance 和施事体是那个过程的 agent 和那个施事体是一群人的 instance 和那个过程是 located 在 2 ，然后有存在实体和另一个实体这样那个另外实体是进食的 instance 和那个实体是那个另外实体的 agent 和那个施事体不 equal 那个实体和那个实体是一群人的 instance 和那个另外实体是 located 在 2 和那个过程出现的 time 接着那个另外实体出现的 time 和那个客体 equal 那个客体2 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25139-25152	如果 Multilingual 是施事体的 attribute 和过程是说话的 instance 和那个施事体是那个过程的 agent，然后有存在实体和另一个实体这样那个实体是口语人类语言的 instance 和那个另外实体是口语人类语言的 instance 和那个实体不 equal 那个另外实体和那个实体是那个过程的 patient 或那个另外实体是那个过程的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1910-1921	如果旅客住宿是施事体的 attribute 和那个施事体能够担当主事的角色做 RoomCleaningService，然后有存在有认知的主事和客体这样那个施事体 employs 那个有认知的主事和女佣是那个有认知的主事的 attribute 和那个客体是 HotelUnit 的 instance 和那个客体是那个施事体的财产的 part 和那个客体能够担当受事的角色做 RoomCleaningService 和那个有认知的主事能够担当服务供应者的角色做 RoomCleaningService
No TPTP formula. May not be expressible in strict first order.	Biography.kif 498-507	如果作家是施事体的 attribute 和有点有内用物体是文本的 instance 或有点有内用物体是 Document 的 instance 和过程是写作的 instance 和那个施事体是那个过程的 agent 和那个有点有内用物体是那个过程的 result，然后那个施事体是那个有点有内用物体的 authors
No TPTP formula. May not be expressible in strict first order.	Government.kif 1847-1851	如果选举对于职位身分的 candidate 对于有认知的主事和施事体是那个选举的 agent，然后那个有认知的主事 desires 那个有认知的主事在那个施事体任职那个身分
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-171	如果机构能够担当主事的角色做 ValetParking 和那个机构是有认知的主事的 customer 和那个机构是 located 在客体和过程是到达的 instance 和那个有认知的主事是那个过程的 agent 和实体是那个过程的 patient 和那个过程在那个客体结束，然后人类在那个机构任职 Valet 和有存在另一个实体这样那个另外实体是 ValetParking 的 instance 和那个人类是那个另外实体的 agent 和那个实体是那个另外实体的 patient 和那个另外实体在第三实体结束和那个第三实体是 ParkingRegion 的 instance 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 1585-1592	如果地位地缘政治区域的州类别的 chief 和那个地缘政治区域是选举的 agent 和那个选举是选举的 instance 和那个地位是职位那个选举的 election 和那个选举是民众选举的 instance，然后 %2 是 1% 的 government 类别
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	如果有认知的主事是另一个有认知的主事的 customer 和那个有认知的主事对货币测量收费在 corkage 为了有点客体和另一个客体是有点客体的 instance 和不存在过程这样那个过程是购买的 instance 和那个另外客体是那个过程的 patient 和那个过程在那个另外有认知的主事结束和那个有认知的主事是那个过程的源头和另一个过程是饮的 instance 和那个另外有认知的主事是那个另外过程的 agent 和那个另外客体是那个另外过程的 resource，然后有存在第三过程这样那个第三过程是 Corkage 的 instance 和那个另外有认知的主事是那个第三过程的 agent 和那个第三过程提到那个另外客体和那个第三过程在那个有认知的主事结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20075-20084	如果人类 directed 动态映像和过程是电影制作的 instance 和施事体是机构的 instance 和那个人类是那个施事体的 leader 和那个施事体是那个过程的 agent 和那个动态映像是那个过程的 result，然后电影导演是那个人类的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17752-17766	如果机构 equal DepartmentOfFn 另一个机构 and 有点物理和那个机构2 是那个另外机构 Organization 的一部分和那个机构不 equal 那个机构2 和实体是有点物理的 instance 和有认知的主事对那个实体感兴趣和那个有认知的主事1 equal 那个机构是那个有认知的主事的 agent 的机率和那个有认知的主事2 equal 那个机构2 是那个有认知的主事的 agent 的机率，然后那个有认知的主事1 是 greaterThan 那个有认知的主事2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 332-346	如果有认知的主事 provides 客体和那个有认知的主事是另一个有认知的主事的 customer 和实体是那个客体的 instance 和那个另外有认知的主事 desires 有存在另一个实体这样那个另外实体是有意图过程的 instance 和那个实体是那个另外实体的 patient 和那个另外有认知的主事是那个另外实体的 agent，然后那个有认知的主事允许那个另外有认知的主事执行那个实体 uses 那个另外有认知的主事的任务的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 820-841	如果类是 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 526-541	如果类的使用是对于有认知的主事免费和施事体是那个类的 instance 和那个有认知的主事是另一个有认知的主事的 customer 和那个施事体是过程的 instance 和那个另外有认知的主事是那个施事体的 agent 或那个另外有认知的主事经历了那个施事体或那个有认知的主事 possesses 那个施事体和那个施事体是客体的 instance 和那个施事体 uses 那个另外有认知的主事，然后那个施事体是对于那个有认知的主事的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-349	如果类的使用是对于有点 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 790-811	如果有点物理的使用对于有点 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.	Law.kif 524-533	如果施事体 desires 死是实体的 attribute 在时距 holdsDuring 和那个施事体URDER 是谋杀的 instance 和那个施事体是那个施事体URDER 的 agent 和那个实体是那个施事体URDER 的 patient 和那个时距比那个施事体URDER 出现的 time发生的earlier，然后 Premeditated 是那个施事体URDER 的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30064-30085	如果 Dieting 是施事体的 attribute 在时距 holdsDuring 和 Dieting 不是那个施事体的 attribute 在另一个时距 holdsDuring 和客体是 Meal 的 instance 和过程是进食的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 resource 和那个过程出现的 time 在那个时距时段内发生和那个客体的 measure 是实数卡路里和另一个客体是 Meal 的 instance 和另一个过程是进食的 instance 和那个施事体是那个另外过程的 agent 和那个另外客体是那个另外过程的 resource 和那个另外过程出现的 time 在那个另外时距时段内发生和那个另外客体的 measure 是另一个实数卡路里，然后那个另外实数是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9411-9433	如果客体是 Antacid 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和另一个客体是胃的 instance 和那个另外客体是那个施事体的 part 和那个另外客体 contains 第三客体和那个第三客体是流体的 instance 在紧接那个运动出现的 time before holdsDuring 和那个另外客体 contains 第四客体和那个第四客体是流体的 instance 在紧接那个运动出现的 time after holdsDuring 和 phMeasure 那个第三客体 and 实数和 phMeasure 那个第四客体 and 另一个实数，然后那个另外实数是 greaterThan 那个实数

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.	Mid-level-ontology.kif 7400-7406	有认知的主事是另一个有认知的主事的 customer 若且唯若有存在过程这样那个过程是金融交易的 instance 和那个有认知的主事是那个过程的 agent 和那个过程在那个另外有认知的主事结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3639-3646	有认知的主事对于 %3 的 customer 代表若且唯若有存在过程这样那个过程是金融交易的 instance 和机构 employs 那个有认知的主事和那个有认知的主事是那个过程的 agent 和那个过程在另一个有认知的主事结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29673-29681	Mute 是施事体的 attribute 在时距 holdsDuring 若且唯若不存在过程这样那个过程是说话的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1547-1553	LegalAgent 是实体的 attribute 在时间位置 holdsDuring 若且唯若那个实体能够担当主事的角色做法律诉讼或那个实体能够担当受事的角色做法律诉讼在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13570-13576	如果有认知的主事有义务去做在协议的命题允许，然后那个有认知的主事有权利去做有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13561-13568	如果有认知的主事有义务去做在协议的命题禁令，然后那个有认知的主事 doesn't have 有权利去做有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 278-285	如果有认知的主事是在 Album 上的表演者，然后有存在有内用物体和过程这样那个有内用物体是 Recording 的 instance 和那个有内用物体是那个 Album 的 member 和那个有内用物体是个那个过程的 record 和那个有认知的主事是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13549-13559	如果有认知的主事有义务去做在协议的命题道义属性和那个道义属性 equal 义务或那个道义属性 equal 诺言，然后有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	如果 AppraisalAsJustTreatment 是有认知的主事的 attribute 和那个有认知的主事JT 是 AppraisalProcess 的 instance 和那个有认知的主事是那个有认知的主事JT 的 agent，然后有存在另一个过程和那个有认知的主事2 这样那个另外过程是过程的 instance 和那个有认知的主事JT 提到那个另外过程和那个有认知的主事2 是那个另外过程的 agent 和那个有认知的主事不 equal 那个有认知的主事2 和那个有认知的主事是那个另外过程的 patient 和那个有认知的主事 wants 那个另外过程
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	如果 AppraisalAsUnjustTreatment 是有认知的主事的 attribute 和那个有认知的主事UJ 是 AppraisalProcess 的 instance 和那个有认知的主事是那个有认知的主事UJ 的 agent，然后有存在另一个过程和那个有认知的主事2 这样那个另外过程是过程的 instance 和那个有认知的主事UJ 提到那个另外过程和那个有认知的主事2 是那个另外过程的 agent 和那个有认知的主事不 equal 那个有认知的主事2 和那个有认知的主事是那个另外过程的 patient 和那个有认知的主事 doesn't wants 那个另外过程
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4336-4345	如果 TwoFactorAuthentication 是用户帐号的 attribute 和 loggedInDuring 施事体, 那个用户帐号 and 时距，然后有存在那个时距F 这样那个时距F 是 TwoFactorLoggingIn 的 instance 和那个施事体是那个时距F 的 agent 和 accountUsed 那个时距F and 那个用户帐号和那个时距F 出现的 time 比那个时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Biography.kif 524-543	如果配音演员是施事体的 attribute 和过程是戏剧表演的 instance 和那个施事体是那个过程的 agent 和另一个过程是语言交流的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程%n是那个过程的subProcess，然后不存在第三过程这样那个第三过程是看的 instance 和那个施事体是那个第三过程的 patient 和另一个施事体是那个第三过程的 agent 和有存在第四过程这样那个第四过程是听的 instance 和那个施事体是那个第四过程的 patient 和那个另外施事体是那个第四过程的 agent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	如果 mausaharati 是施事体的 attribute 和时距是鼓声的 instance 和那个施事体是那个时距的 agent 和那个时距AY 是日的 instance 和另一个时距是日出的 instance 和那个另外时距在那个时距时段内发生和那个时距%n在那个另外时距 before发生，然后那个时距的目的是有存在另一个实体，那个另外时距UHUR， and 和第四实体这样那个第四实体是起来的 instance 和那个另外实体经历了那个第四实体和那个另外时距UHUR 是封斋饭的 instance 和那个另外实体是那个另外时距UHUR 的 agent 和那个第四实体%n在那个另外时距UHURbefore发生和那个第四实体在那个时距AY 时段内发生和那个另外时距UHUR 在那个时距AY 时段内发生
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-212	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体， and 和第三实体这样那个实体是天课的 instance 和第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17085-17098	如果属性是客体的 attribute 和那个属性是主观评价属性的 instance，然后有存在时间位置，过程， and 和施事体这样那个过程是判断的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个属性是那个客体的 attribute 是那个过程的 patient 和那个施事体 believes 那个客体有那个属性的 attribute 在那个时间位置 holdsDuring
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.	ArabicCulture.kif 125-134	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1160-1177	如果 CommunalAttribute 是客体的 attribute 和那个客体是表的 instance 和过程是进食的 instance 和施事体是那个过程的 agent 和那个施事体是一群人的 instance 和那个过程是 located 在 2 ，然后有存在实体和另一个实体这样那个另外实体是进食的 instance 和那个实体是那个另外实体的 agent 和那个施事体不 equal 那个实体和那个实体是一群人的 instance 和那个另外实体是 located 在 2 和那个过程出现的 time 接着那个另外实体出现的 time 和那个客体 equal 那个客体2 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19943-19964	如果 Waiter 是有认知的主事的 attribute 和那个有认知的主事是人类的 instance 和另一个有认知的主事 employs 那个有认知的主事和那个另外有认知的主事是餐厅的 instance 和那个另外有认知的主事是第三有认知的主事的 customer 和那个第三有认知的主事是 located 在客体和那个客体是表的 instance，然后那个另外有认知的主事 possesses 另一个客体和那个另外客体是 KitchenArea 的 instance 和第三客体是 DiningArea 的 instance 和那个客体是 located 在那个第三客体和那个有认知的主事的目的是实体是携带的 instance 和那个有认知的主事是那个实体的 agent 和那个另外客体是那个实体的源头和那个实体在那个客体结束和另一个实体是那个实体的 patient 和那个另外实体是 food for 人类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29371-29380	如果有认知的主事 buys 实体从另一个有认知的主事和那个实体是物理的 instance，然后有存在过程这样那个过程是购买的 instance 和那个实体是那个过程的 patient 和那个有认知的主事是那个过程的 agent 和那个另外有认知的主事是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29382-29392	如果有认知的主事 buys 命题从另一个有认知的主事和那个命题是命题的 instance，然后有存在过程和另一个过程这样那个有认知的主事是那个过程的 agent 和那个另外过程表示那个命题的内容和那个过程是购买的 instance 和那个另外过程是那个过程的 patient 和那个另外有认知的主事是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-171	如果机构能够担当主事的角色做 ValetParking 和那个机构是有认知的主事的 customer 和那个机构是 located 在客体和过程是到达的 instance 和那个有认知的主事是那个过程的 agent 和实体是那个过程的 patient 和那个过程在那个客体结束，然后人类在那个机构任职 Valet 和有存在另一个实体这样那个另外实体是 ValetParking 的 instance 和那个人类是那个另外实体的 agent 和那个实体是那个另外实体的 patient 和那个另外实体在第三实体结束和那个第三实体是 ParkingRegion 的 instance 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 663-674	如果其必須在时点之前在有认知的主事 check out 和另一个有认知的主事是在那个有认知的主事的 guest ，然后那个有认知的主事 expects 有存在实体和另一个实体这样那个实体是那个时点的 instance 和那个另外有认知的主事是那个另外实体的 patient 和那个另外实体是 CheckOutService 的 instance 和那个有认知的主事是那个另外实体的 agent 和那个另外实体出现的 time 的开始%n在那个实体 before发生会是事实
No TPTP formula. May not be expressible in strict first order.	Government.kif 1129-1149	如果人类是国家的 citizen 和普选法是那个国家的 regional 法律的 subProposition，然后那个国家的 regional 法律允许那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	如果有认知的主事是另一个有认知的主事的 customer 和那个有认知的主事对货币测量收费在 corkage 为了有点客体和另一个客体是有点客体的 instance 和不存在过程这样那个过程是购买的 instance 和那个另外客体是那个过程的 patient 和那个过程在那个另外有认知的主事结束和那个有认知的主事是那个过程的源头和另一个过程是饮的 instance 和那个另外有认知的主事是那个另外过程的 agent 和那个另外客体是那个另外过程的 resource，然后有存在第三过程这样那个第三过程是 Corkage 的 instance 和那个另外有认知的主事是那个第三过程的 agent 和那个第三过程提到那个另外客体和那个第三过程在那个有认知的主事结束

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.	Government.kif 1238-1245	对所有 ?AGENT， ?VOTER,，， ?ELECTION， and 和 ?VOTING 如果 ?ELECTION 是 ?AGENT 的 election 的 instance 和 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent，然后男是 ?VOTER 的 attribute contains 独家男性选举权的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 920-928	对所有 ?COUNTRY， ?ELECTION,，， ?VOTING， and 和 ?VOTER 如果 ?COUNTRY 是国家的 instance 和 ?ELECTION 是 ?COUNTRY 的 election 的 instance 和 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent，然后 ?VOTER 是 ?COUNTRY 的 citizen contains 选民公民身份要求的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1089-1100	对所有 ?POLITY， ?AGENT,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?AGENT 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?AGENT 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后 ?AGENT 能够担当主事的角色做 ?ELECTION 的 voting contains 普选法的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1157-1171	对所有 ?POLITY， ?VOTER,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?VOTER 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?VOTER 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent contains 强制选举法的资料
No TPTP formula. May not be expressible in strict first order.	People.kif 469-479	地缘政治区域和整数 year 每个女人生的 children 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: