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 2437-2440
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 488-490
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2433-2433	主事的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2434-2434	主事的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2431-2431	主事是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2432-2432	主事是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2435-2435	主事是参与活动的 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.	french_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 22-22
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1875-1875
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 7-7
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 80-80
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 62-62
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 53-53
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 74-74
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 54-54
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 56-56
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22819-22819	typicalAction 和主事是内部相关
No TPTP formula. May not be expressible in strict first order.	Law.kif 227-227	arrestingOfficer 是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19677-19677	比赛参与者是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23435-23435	取得控制权是主事的 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 271-271	perpetrator 是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16272-16272	原告是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Law.kif 309-309	prosecutor 是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22879-22879	服务供应者是主事的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 54-54

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	如果施事体是过程的 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 757-776	如果配音演员是施事体的 attribute 和过程是戏剧表演的 instance 和那个施事体是那个过程的 agent 和另一个过程是语言交流的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程%n是那个过程的subProcess，然后不存在第三过程和另一个施事体这样那个第三过程是看的 instance 和那个施事体是那个第三过程的 patient 和那个另外施事体是那个第三过程的 agent 和有存在第四过程和那个另外施事体这样那个第四过程是听的 instance 和那个施事体是那个第四过程的 patient 和那个另外施事体是那个第四过程的 agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	如果疾病或综合症是客体的 attribute 和 diseaseTreatment 那个疾病或综合症 and 有点治疗过程和过程是 TherpeuticProcess 的 instance 和那个疾病或综合症OC 是那个过程的 agent 和那个客体是那个过程的 patient 和医生是那个疾病或综合症OC 的 attribute，然后那个过程是有点治疗过程的 instance 的声明 has 可能性的语气
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.	ArabicCulture.kif 134-143	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	如果 CommunalAttribute 是客体的 attribute 和那个客体是表的 instance 和过程是进食的 instance 和施事体是那个过程的 agent 和那个施事体是一群人的 instance 和那个过程是 located 在那个客体，然后有存在实体，另一个实体， and 和那个客体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 25748-25761	如果 Multilingual 是施事体的 attribute 和过程是说话的 instance 和那个施事体是那个过程的 agent，然后有存在实体和另一个实体这样那个实体是口语人类语言的 instance 和那个另外实体是口语人类语言的 instance 和那个实体不 equal 那个另外实体和那个实体是那个过程的 patient 或那个另外实体是那个过程的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	如果旅客住宿是施事体的 attribute 和那个施事体能够担当主事的角色做 RoomCleaningService，然后有存在有认知的主事和客体这样那个施事体 employs 那个有认知的主事和女佣是那个有认知的主事的 attribute 和那个客体是 HotelUnit 的 instance 和那个客体是那个施事体的财产的 part 和那个客体能够担当受事的角色做 RoomCleaningService 和那个有认知的主事能够担当服务供应者的角色做 RoomCleaningService
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.	Government.kif 1850-1854	如果选举对于职位身分的 candidate 对于有认知的主事和施事体是那个选举的 agent，然后那个有认知的主事 desires 那个有认知的主事在那个施事体任职那个身分
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	如果机构能够担当主事的角色做 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 1588-1595	如果地位地缘政治区域的州类别的 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 20734-20743	如果人类 directed 动态映像和过程是电影制作的 instance 和施事体是机构的 instance 和那个人类是那个施事体的 leader 和那个施事体是那个过程的 agent 和那个动态映像是那个过程的 result，然后电影导演是那个人类的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	如果施事体 employs 有认知的主事和过程是 DoNetworkMessaging 的 instance 和客体是那个过程的 result 和 NSFW 是那个客体的 attribute 和另一个过程是看的 instance 和那个客体是那个另外过程的 patient 和那个有认知的主事是那个另外过程的 agent，然后有存在实体这样那个另外过程 causes 那个实体和那个有认知的主事 suffers 从那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	如果施事体 employs 有认知的主事和那个施事体 employs 另一个有认知的主事和过程是 DoNetworkMessaging 的 instance 和客体是那个过程的 result 和 NSFW 是那个客体的 attribute 和那个有认知的主事是那个过程的 agent 和另一个过程是看的 instance 和那个客体是那个另外过程的 patient 和那个另外有认知的主事是那个另外过程的 agent，然后有存在那个有认知的主事ROC 这样那个过程 causes 那个有认知的主事ROC 和那个有认知的主事 suffers 从那个有认知的主事ROC 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18343-18358	如果机构 equal DepartmentOfFn 另一个机构 and 有点物理和那个机构2 是那个另外机构 Organization 的一部分和那个机构不 equal 那个机构2 和实体是有点物理的 instance 和那个机构对那个实体感兴趣和实数 equal 那个机构是另一个实体的 agent 的机率和那个另外实体2 equal 那个机构2 是那个另外实体的 agent 的机率，然后那个实数是 greaterThan 那个另外实体2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	如果施事体 provides 客体和那个施事体是有认知的主事的 customer 和实体是那个客体的 instance 和那个有认知的主事 desires 有存在另一个实体这样那个另外实体是有意图过程的 instance 和那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent，然后那个施事体允许那个有认知的主事执行那个有认知的主事 uses 那个实体的任务的声明 has 可能性的语气
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 美国美元

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 7727-7733	施事体是有认知的主事的 customer 若且唯若有存在过程这样那个过程是金融交易的 instance 和那个施事体是那个过程的 agent 和那个过程在那个有认知的主事结束
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	有认知的主事对于 %3 的 customer 代表若且唯若有存在过程这样那个过程是金融交易的 instance 和机构 employs 那个有认知的主事和那个有认知的主事是那个过程的 agent 和那个过程在另一个有认知的主事结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30271-30279	Mute 是施事体的 attribute 在时距 holdsDuring 若且唯若不存在过程这样那个过程是说话的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体是那个过程的 agent
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 14100-14106	如果有认知的主事有义务去做在协议的命题允许，然后那个有认知的主事有权利去做有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14091-14098	如果有认知的主事有义务去做在协议的命题禁令，然后那个有认知的主事 doesn't have 有权利去做有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 280-287	如果有认知的主事是在 Album 上的表演者，然后有存在有内用物体和过程这样那个有内用物体是 Recording 的 instance 和那个有内用物体是那个 Album 的 member 和那个有内用物体是个那个过程的 record 和那个有认知的主事是那个过程的 agent
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.	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 223-230	如果 Founder 是施事体的 attribute 和那个施事体是人类的 instance，然后有存在过程这样那个过程是创建的 instance 和那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4373-4382	如果 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 757-776	如果配音演员是施事体的 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 204-223	如果穆斯林是施事体的 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 17332-17345	如果属性是客体的 attribute 和那个属性是主观评价属性的 instance，然后有存在时间位置，过程， and 和施事体这样那个过程是判断的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个属性是那个客体的 attribute 是那个过程的 result 和那个施事体 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 134-143	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	如果 CommunalAttribute 是客体的 attribute 和那个客体是表的 instance 和过程是进食的 instance 和施事体是那个过程的 agent 和那个施事体是一群人的 instance 和那个过程是 located 在那个客体，然后有存在实体，另一个实体， and 和那个客体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 20601-20623	如果 Waiter 是有认知的主事的 attribute 和那个有认知的主事是人类的 instance 和施事体 employs 那个有认知的主事和那个施事体是餐厅的 instance 和那个施事体是另一个有认知的主事的 customer 和那个另外有认知的主事是 located 在客体和那个客体是表的 instance，然后有存在另一个客体，实体,，，另一个实体， and 和第三客体这样那个施事体 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 29963-29972	如果有认知的主事 buys 实体从施事体和那个实体是物理的 instance，然后有存在过程这样那个过程是购买的 instance 和那个实体是那个过程的 patient 和那个有认知的主事是那个过程的 agent 和那个施事体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29974-29984	如果有认知的主事 buys 命题从施事体和那个命题是命题的 instance，然后有存在过程和另一个过程这样那个有认知的主事是那个过程的 agent 和那个另外过程表示那个命题的内容和那个过程是购买的 instance 和那个另外过程是那个过程的 patient 和那个施事体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	如果机构能够担当主事的角色做 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 684-695	如果其必須在时点之前在有认知的主事 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 1132-1152	如果人类是国家的 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.	People.kif 456-469	年是整数 year 的 instance 和地缘政治区域和那个年每个女人生的 children equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	对所有 ?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 923-931	对所有 ?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 1092-1103	对所有 ?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 1160-1174	对所有 ?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.	Medicine.kif 4559-4564	有存在过程和实体这样那个过程是传播的 instance 和 Netflix 是那个过程的 agent 和那个实体是那个过程的 patient 和那个实体是动态映像的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4566-4569	有存在过程这样那个过程是电影制作的 instance 和 Netflix 是那个过程的 agent

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: