TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1698-1701
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1623-1631
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 296-301
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6794-6794
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	过程是物理的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2581-2581	SEO 是过程的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2413-2413	中止的 range 是过程的实例
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4513-4513	FailureFn 的所得值是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17833-17833	操作的所得值是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1500-1500	AddToCart 是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 164-164	AgentPatientProcess 是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29927-29927	BreakingRecord 是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23715-23715	引起幸福是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23736-23736	导致不快乐是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1663-1663	Checkout 是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1319-1319	内容承载过程是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1633-1633	双受体过程是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10486-10486	有意图过程是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12562-12562	内部变化是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7900-7900	LargeGroupProcess 是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10997-10997	运动是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10482-10482	自然过程是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2079-2079	发电是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1646-1646	SingleAgentProcess 是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1793-1793	WatchItem 是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 851-851
No TPTP formula. May not be expressible in strict first order.	english_format.kif 904-904
No TPTP formula. May not be expressible in strict first order.	french_format.kif 527-527
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 58-58

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2412-2412	中止的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 400-400	InjuryCausedFn 的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 421-421	开始的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 435-435	停的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 549-549	ageOfMajorityForProcess 的 3 数量是过程的 instance
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.	Mid-level-ontology.kif 22863-22863	得益的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3778-3778	引起的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3779-3779	引起的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15875-15875	commentator 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3032-3032	conversionEvent 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1696-1696	coordinates 的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1697-1697	coordinates 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2444-2444	终点的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16909-16909	方向的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4096-4096	eventPartlyLocated 的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4539-4539	exclusiveEvent 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2458-2458	经历者的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4031-4031	experimentalControlProcess 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4078-4078	experimentalVariableProcess 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4391-4391	hinders 的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	工具的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2414-2414	参与活动的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 193-193	judge 的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1732-1732	形式的 1 数量是过程的 instance

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 23203-23209	如果格角色过程 and 客体和那个格角色是格角色的 instance 和那个过程是过程的 instance 和那个客体是客体的 instance，然后那个客体对于那个过程在事件那个格角色 plays 角色
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.	Mid-level-ontology.kif 18347-18352	如果机构 equal DepartmentOfPreventingFn 另一个机构 and 有点物理和有点物理是过程的 subclass 和那个机构是那个另外机构 Organization 的一部分，然后那个机构 inhibits 那个有点物理
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.	Mid-level-ontology.kif 15858-15871	如果过程是 Commenting 的 instance 和实体是过程的 instance 和那个实体是那个过程的 patient，然后有存在施事体，另一个过程， and 和第三过程这样那个施事体是施事体的 instance 和那个另外过程是说话的 instance 和那个第三过程是看着的 instance 和那个施事体是那个另外过程的 agent 和那个施事体是那个第三过程的 agent 和那个实体是那个第三过程的 patient 和那个另外过程提到那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2518-2526	如果客体是电器的 instance 和过程是过程的 instance 和那个客体是导致那个过程的 instrument，然后有存在另一个客体这样那个另外客体是电力的 instance 和那个另外客体是那个过程的 resource
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4563-4580	如果过程是过程的 instance 和人类是施事体的 instance 和试验是试验的 instance 和那个人类是个 treated used 在那个试验和那个过程在那个试验的 process 和那个人类经历了另一个过程和那个人类经历了那个过程和那个试验 causes 那个另外过程，然后有存在那个试验ERIMENTER 这样那个试验ERIMENTER 是施事体的 instance 和那个试验ERIMENTER 是在那个试验的 experimenter 和那个试验ERIMENTER believes 那个过程 causes 那个另外过程的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7510-7514	如果物理是过程的 instance 和那个物理的 measure 是物理量，然后那个物理量是时间相关量的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	如果命题是计划的 instance 和物理是过程的 instance 和那个命题表达那个物理，然后有存在那个命题NING 和内容承载物理这样那个命题NING 是规划的 instance 和那个内容承载物理是内容承载物理的 instance 和那个内容承载物理 contains 那个命题的资料和那个内容承载物理是那个命题NING 的 result 和那个命题NING 出现的 time 的开始比那个物理出现的 time 的开始发生的earlier 和那个命题NING 出现的 time 的结束比那个物理出现的 time 的结束发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23457-23462	如果过程是过程的 instance 和那个过程是 located 在客体和另一个过程%n是那个过程的subProcess，然后那个另外过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1702-1724	如果时距是那个时距_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.	Geography.kif 2561-2567	如果过程是过程的 instance 和物理是那个过程的 patient 和那个物理是水的 instance 和那个物理的 measure 是实数酸碱度，然后那个实数是 lessThan 5.6
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.	UXExperimentalTerms.kif 4707-4724	如果过程是 MultivariateTest 的 instance 和试验%n是那个过程的subProcess 和另一个试验%n是那个过程的subProcess 和那个试验是试验的 instance 和那个另外试验是试验的 instance 和另一个过程是过程的 instance 和第三过程是过程的 instance 和那个另外过程在那个试验的 process 和那个第三过程在那个另外试验的 process ，然后有存在第四过程这样那个第四过程是过程的 instance 和那个另外过程%n是那个第四过程的subProcess 和那个第三过程%n是那个第四过程的subProcess 和那个另外过程不 equal 那个第三过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4057-4068	如果过程是过程的 instance 和试验是试验的 instance 和另一个过程是施事体的 instance 和施事体经历了那个另外过程和那个过程在那个试验的 process ，然后有存在实体_GROUP 这样那个实体_GROUP 是群体的 instance 和那个另外过程是那个实体_GROUP 的 member 和那个实体_GROUP 是在那个试验的 control group
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4174-4185	如果过程是过程的 instance 和试验是试验的 instance 和另一个过程是施事体的 instance 和施事体经历了那个另外过程和那个过程在那个试验的 process ，然后有存在实体_GROUP 这样那个实体_GROUP 是群体的 instance 和那个另外过程是那个实体_GROUP 的 member 和那个实体_GROUP 是 treatment group 在那个试验
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4447-4473	如果人类是人类的 instance 和群体是群体的 instance 和对所有试验和物理如果有存在有点过程这样那个试验是试验的 instance 和那个物理是过程的 instance 和那个物理是 events 在那个试验的 member 和那个物理是有点过程的 instance 和那个人类能够担当经历者的角色做那个有点过程，然后那个物理是那个群体的 member 和如果另一个物理是那个群体的 member，然后那个另外物理是过程的 instance 和有存在另一个试验和那个另外物理ESS 这样那个另外试验是试验的 instance 和那个另外物理是 events 在那个另外试验的 member 和那个另外物理是那个另外物理ESS 的 instance 和那个人类能够担当经历者的角色做那个另外物理ESS ，然后所有流程那个人类是 qualified 对于 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31217-31224	如果 memberMeasure 集合, MeasurementAttribute and 持续时间和那个集合是集合的 instance 和施事体是那个集合的 element 和过程是过程的 instance 和那个施事体是那个过程的 agent，然后过程每那个持续时间发生一次
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31226-31233	如果 memberMeasure 类, Frequency and 持续时间和那个类是类的 instance 和施事体是那个类的 instance 和过程是过程的 instance 和那个施事体是那个过程的 agent，然后过程每那个持续时间发生一次
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.	Catalog.kif 98-107	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是客体的 subclass 和过程是另一个有点过程的 instance 和另一个有点过程是过程的 subclass 和另一个实体是那个有点实体的 instance 和那个另外实体是那个过程的 patient，然后那个施事体能够担当主事的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 88-93	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是过程的 subclass，然后那个施事体能够担当主事的角色做那个有点实体

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.	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.	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 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.	MilitaryProcesses.kif 2516-2530	如果过程是疏散的 instance 和地理区域是那个过程的源头和有认知的主事是那个过程的 agent，然后有存在另一个过程这样那个另外过程是过程的 instance 和那个地理区域是那个另外过程在那个过程出现的 time 的开始时所处的地区的 geographic 次要地区和那个另外过程 causes 那个过程和那个有认知的主事 believes 危险是那个另外过程的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4129-4140	如果试验是试验的 instance 和人类是人类的 instance 和那个人类是在那个试验的 subject ，然后有存在过程这样那个过程是过程的 instance 和那个人类经历了那个过程和 control 在实验那个试验是那个过程或那个过程在那个试验的 process
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.	Cars.kif 3389-3417	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4707-4724	如果过程是 MultivariateTest 的 instance 和试验%n是那个过程的subProcess 和另一个试验%n是那个过程的subProcess 和那个试验是试验的 instance 和那个另外试验是试验的 instance 和另一个过程是过程的 instance 和第三过程是过程的 instance 和那个另外过程在那个试验的 process 和那个第三过程在那个另外试验的 process ，然后有存在第四过程这样那个第四过程是过程的 instance 和那个另外过程%n是那个第四过程的subProcess 和那个第三过程%n是那个第四过程的subProcess 和那个另外过程不 equal 那个第三过程
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	如果内容承载物理是 DeathCertificate 的 instance 和过程是死亡的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在那个过程AY，另一个实体,，，第三实体， and 和那个另外实体ROC 这样那个过程AY 是那个施事体的 deathdate 和那个过程AY 是日的 instance 和那个另外实体是那个施事体的 deathplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance 和那个另外实体ROC causes 那个过程和那个另外实体ROC 是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29931-29961	如果过程是 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.	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 26874-26900	如果物理是 SurveillanceSystem 的 instance 和那个物理是群体的 member 和那个物理是另一个群体的 member 和那个群体是 located 在客体和那个群体是相机的 instance 和那个另外群体是 located 在另一个客体和那个客体不 equal 那个另外客体和那个另外群体是 VideoDisplay 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是过程的 instance 和那个实体是 located 在那个客体和那个另外实体表达那个实体和相机是导致那个第四实体的 instrument 和那个另外实体是那个第四实体的 result 和那个第三实体是放射光线的 instance 和那个另外群体是导致那个第三实体的 instrument 和那个另外实体是那个第三实体的 patient 和那个实体的开始%n在那个第四实体的开始before发生和那个第四实体的开始%n在那个第三实体的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16513-16525	如果有认知的主事是由证书的 issued 和那个证书是票的 instance 和施事体 possesses 那个证书，然后那个有认知的主事 confers 规范有存在实体这样有存在另一个实体这样那个另外实体是过程的 instance 和那个有认知的主事是那个另外实体的 agent 和那个施事体经历了那个另外实体在那个实体 holdsDuring 对于允许
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31217-31224	如果 memberMeasure 集合, MeasurementAttribute and 持续时间和那个集合是集合的 instance 和施事体是那个集合的 element 和过程是过程的 instance 和那个施事体是那个过程的 agent，然后过程每那个持续时间发生一次
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31226-31233	如果 memberMeasure 类, Frequency and 持续时间和那个类是类的 instance 和施事体是那个类的 instance 和过程是过程的 instance 和那个施事体是那个过程的 agent，然后过程每那个持续时间发生一次
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21012-21026	如果新闻记者是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是报纸的 subclass 或那个第三实体是新闻节目的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	如果 OpenLayout 是客体的 attribute，然后那个客体是房间的 instance 和有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是地区的 instance 和那个第三客体是地区的 instance 和那个另外客体是 located 在那个客体和那个第三客体是 located 在那个客体和那个另外客体不 equal 那个第三客体和那个另外客体在那个第三客体的邻和有存在公式和另一个公式这样那个公式是过程的 instance 和那个另外公式是过程的 instance 和那个另外客体的目的是那个公式和那个第三客体的目的是那个另外公式和如果那个第四客体是施事体的 instance 和那个第四客体是 located 在那个第三客体，然后那个第四客体能够担当主事的角色做看和那个另外客体能够担当受事的角色做看
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4631-4636	如果 ABTest 是客体的 attribute，然后有存在过程这样那个过程是过程的 instance 和 control 在实验那个客体是那个过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4643	如果 ABTest 是客体的 attribute，然后有存在过程这样那个过程是过程的 instance 和那个过程在那个客体的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2769-2776	如果机构是 Business 的 business 单位，然后那个机构的目的是有存在实体这样那个实体是过程的 instance 和那个机构是那个实体的 agent 和那个 Business 是那个实体的受益者
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 970-978	如果客体是被施事体 used 在时距，然后有存在过程这样那个过程是过程的 instance 和那个客体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个施事体 uses 那个客体和那个过程出现的 time 时段和那个时距重叠
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4551-4561	如果试验 causes 过程，然后有存在另一个过程和人类这样那个另外过程是过程的 instance 和那个人类是施事体的 instance 和那个人类是个 treated used 在那个试验和那个另外过程在那个试验的 process 和那个人类经历了那个过程和那个人类经历了那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30608-30628	如果 SafetyPosition 是实体的 attribute 在时间位置 holdsDuring，然后那个实体的目的是有存在另一个实体，第三实体,，，第四实体， and 和那个时间位置2 这样那个第三实体是人类的 instance 和那个另外实体是过程的 instance 和那个第三实体是那个另外实体的 patient 和那个实体是那个另外实体的 agent 和那个另外实体 prevents 那个第四实体所描述的类别的发生在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1216-1224	如果有点物质是在类的 ingredient ，然后有存在过程，实体， and 和另一个实体这样那个过程是过程的 instance 和那个实体是有点物质的 instance 和那个实体是那个过程的 patient 和那个另外实体是那个类的 instance 和那个另外实体是那个过程的 result

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Show without tree

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: