TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1558-1559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	施事体是客体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3707-3707	家具和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6705-6705	街道地址的 range 是施事体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16244-16244	商业代理人是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14100-14100	地缘政治区域是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16295-16295	群组是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	IT代理商是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14401-14401	生物是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16681-16681	机构是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	有感知的主事是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 848-848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64498-64498
No TPTP formula. May not be expressible in strict first order.	english_format.kif 898-898

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2411-2411	中止的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1649-1649	选举的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1285-1285	行政部门的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3697-3697	财政年度的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3723-3723	财政年度开始的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4275-4275	属于财产函数的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 981-981	SellersItemsFn 的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1016-1016	SellersOtherItemsFn 的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7828-7828	财富函数的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1660-1660	成就的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 596-596	activityCapability 的 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.	Media.kif 3405-3405	agentName 的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2199-2199	代理人在区域内经营的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23260-23260	别号的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 150-150	appointedPosition 的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22980-22980	所负责的地区的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23531-23531	逮捕的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1928-1928	问价格的 3 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2388-2388	在组织中关联的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2399-2399	与地位相关联的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2124-2124	attitudeForFormula 的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2117-2117	attitudeForObject 的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15502-15502	作者的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22965-22965	得益的 2 数量是施事体的 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.	Government.kif 1738-1743	如果机构的 member 是客体的 attribute 和那个客体是施事体的 instance 和那个机构是机构的 instance，然后那个客体是那个机构的 member
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30266-30277	如果施事体是施事体的 instance 和 Motionless 是那个施事体的 attribute 在时距 holdsDuring，然后不存在过程这样那个过程是身体运动的 instance 和那个过程是有意图过程的 instance 和那个施事体是那个过程的 agent 和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Government.kif 1664-1668	如果施事体是施事体的 instance 和过程是那个施事体的 election 的 instance，然后那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1731-1736	如果客体是施事体的 instance 和机构是机构的 instance 和那个客体是那个机构的 member，然后那个机构的 member 是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	如果施事体是施事体的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有 WebListing 如果那个 WebListing 是 WebListing 的 instance 和那个 WebListing 是在那个 WebSite hosted 和那个施事体 sells 那个 WebListing ，然后那个 WebListing 是那个群体的 member 和样品对于 sale 由那个施事体在那个 WebSite equal 那个群体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	如果施事体是施事体的 instance 和有认知的主事是个 potential customer 对于那个施事体和实体是 Reserving 的 instance 和那个实体在那个施事体结束的声明 has 必要性的语气和如果那个施事体是那个有认知的主事的 customer 是正确，那有存在那个实体ES1 这样那个实体ES1 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES1 和那个施事体 fulfills 那个实体ES1 的机率就是实数和如果那个施事体是那个有认知的主事的 customer 是正确，那不存在那个实体ES2 这样那个实体ES2 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES2 和那个施事体 fulfills 那个实体ES2 的机率就是另一个实数，然后那个另外实数是 lessThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1656-1662	如果施事体是施事体的 instance 和那个施事体的 election 是选举的 subclass，然后那个施事体是机构的 instance 或那个施事体是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	如果过程是 AddToCart 的 instance 和有认知的主事是施事体的 instance 和实体是客体的 instance 和那个有认知的主事是那个过程的 agent 和那个实体是那个过程的 patient，然后那个有认知的主事 desires 有存在另一个实体这样那个另外实体是购买的 instance 和那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	如果过程是 Auctioning 的 instance 和施事体是施事体的 instance 和另一个施事体是施事体的 instance 和客体是客体的 instance 和测量单位是 UnitOfCurrency 的 instance 和那个客体是那个过程的 patient 和那个施事体 bids 实数那个测量单位對於那个客体和那个另外施事体 bids 另一个实数那个测量单位對於那个客体和那个实数是 greaterThan 那个另外实数，然后那个过程在那个施事体结束
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11702-11712	如果过程是改变所有权的 instance 和客体是那个过程的源头和那个过程在实体结束和那个客体是施事体的 instance 和那个实体是施事体的 instance 和另一个实体是那个过程的 patient，然后那个客体 possesses 那个另外实体在那个过程出现的 time 的开始 holdsDuring 和那个实体 possesses 那个另外实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	如果群体是群体的 instance 和 WebSite 是 WebSite 的 instance 和施事体是施事体的 instance 和 WebListing 是 WebListing 的 instance 和时点是时点的 instance 和那个施事体 sells 那个 WebListing 和那个 WebListing 不是那个群体的 member 和对所有物理和另一个物理如果那个物理是 WebListing 的 instance 和那个物理是样品对于 sale 由那个施事体在那个 WebSite 的 member 和那个时点时段是那个物理出现的 time 时段的一 part 和那个物理不 equal 那个 WebListing，然后那个物理是那个群体的 member 和如果那个另外物理是那个群体的 member，然后那个时点时段是那个物理出现的 time 时段的一 part 和那个另外物理是 WebListing 的 instance ，然后东西对于 sale 由那个施事体非列在那个 WebListing 在那个 WebSite 期间那个时点 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	如果过程是过程的 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 11719-11731	如果过程是给予的 instance 和施事体是那个过程的 agent 和那个过程在另一个施事体结束和那个另外施事体是施事体的 instance 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是获得的 instance 和那个另外施事体是那个另外过程的 agent 和那个施事体是那个另外过程的源头和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	如果客体是客体的 instance 和另一个客体是 WebListing 的 instance 和施事体是施事体的 instance 和 ForSaleByOwner 是那个另外客体的 attribute 和那个施事体 possesses 那个客体，然后那个施事体是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2465-2472	如果过程是加入一个机构的 instance 和施事体是施事体的 instance 和那个施事体是那个过程的 agent 和群体是那个过程的 patient 和那个过程是机构的 instance，然后那个施事体是那个群体的 member
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	如果客体是 WebListing 的 instance 和过程是客体的 instance 和有认知的主事是施事体的 instance 和 AuctionAttribute 是那个客体的 attribute 和那个客体是那个过程的 patient 和那个有认知的主事 created 那个客体，然后那个有认知的主事 desires 有存在实体这样那个实体是 Auctioning 的 instance 和那个过程是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Government.kif 1411-1417	如果机构是施事体的 instance 和人类是那个机构的 leader 和地位是地位的 instance 和那个人类在那个机构任职那个地位，然后那个地位是那个机构的 leader 职位
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	如果躯体性物体是 DigitalPost 的 instance 和施事体是施事体的 instance 和 WebSite 是 WebSite 的 instance 和那个躯体性物体是那个 WebSite 的 component 和那个施事体 created 那个躯体性物体和那个施事体是那个 WebSite 的 registered user ，然后那个躯体性物体的目的是有存在实体这样那个实体是传播的 instance 和那个施事体是那个实体的 agent 和那个躯体性物体是那个实体的 patient 和那个 WebSite 是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Government.kif 1442-1449	如果人类是人类的 instance 和地位是地位的 instance 和机构是施事体的 instance 和那个地位是那个机构的 leader 职位和那个人类在那个机构任职那个地位，然后那个人类是那个机构的 leader
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.	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.	UXExperimentalTerms.kif 2956-2983	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是购买的 instance 和有存在客体这样那个客体是地缘政治区域的 instance 和对所有施事体和过程如果那个施事体是施事体的 instance 和那个过程是购买的 instance 和那个过程是那个群体的 member 和那个施事体是那个过程的 agent，然后那个施事体是 located 在那个客体，然后有存在符号串，实体， and 和另一个实体_PURCHASE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个另外实体_PURCHASE_AMOUNT 和那个群体的 value equal 那个另外实体_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	如果过程是 ViewItemRequest 的 instance 和另一个过程是 AccessingWebPage 的 instance 和躯体性物体是 ViewItemPage 的 instance 和施事体是施事体的 instance 和 WebListing 是广告的 instance 和那个另外过程%n是那个过程的subProcess 和那个躯体性物体是那个 WebListing 的 component 和那个另外过程在那个躯体性物体结束和那个施事体是那个另外过程的 agent，然后那个施事体 viewed 那个 WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是出售的 instance 和有存在客体这样那个客体是地缘政治区域的 instance 和对所有施事体和过程如果那个施事体是施事体的 instance 和那个过程是购买的 instance 和那个过程是那个群体的 member 和那个施事体是那个过程的 agent，然后那个施事体是 located 在那个客体，然后有存在符号串，实体， and 和另一个实体_SALE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个另外实体_SALE_AMOUNT 和那个群体的 value equal 那个另外实体_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	如果过程是过程的 instance 和试验是试验的 instance 和另一个过程是施事体的 instance 和施事体经历了那个另外过程和那个过程在那个试验的 process ，然后有存在实体_GROUP 这样那个实体_GROUP 是群体的 instance 和那个另外过程是那个实体_GROUP 的 member 和那个实体_GROUP 是在那个试验的 control group

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 30247-30260	Alone 是实体的 attribute 在时距 holdsDuring 若且唯若不存在那个实体2 和过程这样那个实体不 equal 那个实体2 和那个实体2 是施事体的 instance 和那个过程是社交的 instance 和那个过程出现的 time 在那个时距时段内发生和那个实体是事件那个过程的 involved 和那个实体2 是事件那个过程的 involved
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	如果用户帐号是在 WebSite 的 account ，然后有存在客体和那个 WebSite_OWNER 这样那个客体是数据库的 instance 和那个 WebSite_OWNER 是施事体的 instance 和那个 WebSite_OWNER possesses 那个 WebSite 和那个 WebSite_OWNER possesses 那个客体和那个用户帐号是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	如果群体是在 WebSite 的 first time buyers 在其间时距和物理是那个群体的 member，然后那个物理是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	如果群体是在 WebSite 的 first time sellers 在其间时距和物理是那个群体的 member，然后那个物理是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	如果过程是 Auctioning 的 instance 和客体是客体的 instance 和那个客体是那个过程的 patient，然后有存在施事体和货币测量这样那个施事体是施事体的 instance 和那个货币测量是货币测量的 instance 和那个施事体 bids 那个货币测量對於那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23510-23514	如果实现控制是捕获的 instance 和客体在那个实现控制受到 AutonomousAgent 在身体上的 controlled，然后那个客体是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15914-15927	如果过程是 Commenting 的 instance 和实体是过程的 instance 和那个实体是那个过程的 patient，然后有存在施事体，另一个过程， and 和第三过程这样那个施事体是施事体的 instance 和那个另外过程是说话的 instance 和那个第三过程是看着的 instance 和那个施事体是那个另外过程的 agent 和那个施事体是那个第三过程的 agent 和那个实体是那个第三过程的 patient 和那个另外过程提到那个实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	如果过程是过程的 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 16299-16303	如果群体是群组的 instance 和物理是那个群体的 member，然后那个物理是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有施事体如果那个施事体是那个群体的 member，然后有存在另一个时距这样那个施事体是施事体的 instance 和那个另外时距是购买的 instance 和那个施事体是那个另外时距的 agent 和那个 WebSite 是导致那个另外时距的 instrument 和那个另外时距在那个时距时段内发生和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和有存在那个另外时距_BEFORE 这样那个另外时距_BEFORE 是购买的 instance 和那个施事体是那个另外时距_BEFORE 的 agent 和那个 WebSite 是导致那个另外时距_BEFORE 的 instrument 和那个另外时距_BEFORE 在那个时距时段内发生在那个时距_BEFORE holdsDuring 和 new buyers 在那个 WebSite 其间那个时距 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	如果时距是时距的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有施事体如果那个施事体是那个群体的 member，然后有存在另一个时距这样那个施事体是施事体的 instance 和那个另外时距是出售的 instance 和那个施事体是那个另外时距的 agent 和那个 WebSite 是导致那个另外时距的 instrument 和那个另外时距在那个时距时段内发生和不存在那个时距_BEFORE 这样那个时距_BEFORE 是时距的 instance 和那个时距_BEFORE 比那个时距发生的earlier 和有存在那个另外时距_BEFORE 这样那个另外时距_BEFORE 是出售的 instance 和那个施事体是那个另外时距_BEFORE 的 agent 和那个 WebSite 是导致那个另外时距_BEFORE 的 instrument 和那个另外时距_BEFORE 在那个时距时段内发生在那个时距_BEFORE holdsDuring 和 new sellers 在那个 WebSite 期间那个时距 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	Media.kif 895-901	如果实体是 Logo 的 instance 和那个实体表达另一个实体，然后那个另外实体是施事体的 instance 或那个另外实体是产品的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16702-16706	如果群体是机构的 instance 和物理是那个群体的 member，然后那个物理是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2426-2435	如果实体是 SearchQuery 的 instance 和过程是 SearchAttempt 的 instance 和那个实体表达那个过程，然后有存在施事体和另一个实体这样那个施事体是施事体的 instance 和那个另外实体是那个过程的 patient 和那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	如果客体是购买的 instance 和 CBT 是那个客体的 attribute 和实体是那个客体的 patient 和那个实体是客体的 instance，然后有存在另一个客体，施事体,，，那个施事体_LOCATION， and 和那个另外客体_LOCATION 这样那个施事体是施事体的 instance 和那个另外客体是施事体的 instance 和那个施事体是那个客体的 agent 和那个另外客体是那个客体的源头和那个施事体_LOCATION 是地缘政治区域的 instance 和那个另外客体_LOCATION 是地缘政治区域的 instance 和那个另外客体是 located 在那个另外客体_LOCATION 和那个施事体是 located 在那个施事体_LOCATION 和那个施事体_LOCATION 不 equal 那个另外客体_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	如果客体是金融交易的 instance 和 BusinessToBusiness 是那个客体的 attribute，然后有存在用户帐号，另一个用户帐号,，，施事体,，，另一个施事体， and 和 WebSite 这样那个用户帐号是用户帐号的 instance 和那个另外用户帐号是用户帐号的 instance 和那个施事体是施事体的 instance 和那个另外施事体是施事体的 instance 和那个 WebSite 是 WebSite 的 instance 和那个施事体是那个客体的 agent 和那个客体在那个另外施事体结束和那个 WebSite 是导致那个客体的 instrument 和那个施事体有 account 那个用户帐号和那个另外施事体有 account 那个另外用户帐号和那个用户帐号是在那个 WebSite 的 account 和那个另外用户帐号是在那个 WebSite 的 account 和 BusinessAccount 是那个用户帐号的 attribute 和 BusinessAccount 是那个另外用户帐号的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	如果客体是金融交易的 instance 和 BusinessToConsumer 是那个客体的 attribute，然后有存在用户帐号，另一个用户帐号,，，施事体,，，另一个施事体， and 和 WebSite 这样那个用户帐号是用户帐号的 instance 和那个另外用户帐号是用户帐号的 instance 和那个施事体是施事体的 instance 和那个另外施事体是施事体的 instance 和那个 WebSite 是 WebSite 的 instance 和那个施事体是那个客体的 agent 和那个客体在那个另外施事体结束和那个 WebSite 是导致那个客体的 instrument 和那个施事体有 account 那个用户帐号和那个另外施事体有 account 那个另外用户帐号和那个用户帐号是在那个 WebSite 的 account 和那个另外用户帐号是在那个 WebSite 的 account 和 BusinessAccount 是那个用户帐号的 attribute 和 ConsumerAccount 是那个另外用户帐号的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	如果客体是金融交易的 instance 和 ConsumerToConsumer 是那个客体的 attribute，然后有存在用户帐号，另一个用户帐号,，，施事体,，，另一个施事体， and 和 WebSite 这样那个用户帐号是用户帐号的 instance 和那个另外用户帐号是用户帐号的 instance 和那个施事体是施事体的 instance 和那个另外施事体是施事体的 instance 和那个 WebSite 是 WebSite 的 instance 和那个施事体是那个客体的 agent 和那个客体在那个另外施事体结束和那个 WebSite 是导致那个客体的 instrument 和那个施事体有 account 那个用户帐号和那个另外施事体有 account 那个另外用户帐号和那个用户帐号是在那个 WebSite 的 account 和那个另外用户帐号是在那个 WebSite 的 account 和 ConsumerAccount 是那个用户帐号的 attribute 和 ConsumerAccount 是那个另外用户帐号的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	如果客体是出售的 instance 和 CBT 是那个客体的 attribute 和实体是那个客体的 patient 和那个实体是客体的 instance，然后有存在施事体，物理,，，那个物理_LOCATION， and 和那个施事体_LOCATION 这样那个物理是施事体的 instance 和那个施事体是施事体的 instance 和那个客体在那个物理结束和那个施事体是那个客体的 agent 和那个物理_LOCATION 是地缘政治区域的 instance 和那个施事体_LOCATION 是地缘政治区域的 instance 和那个施事体是 located 在那个施事体_LOCATION 和那个物理是 located 在那个物理_LOCATION 和那个物理_LOCATION 不 equal 那个施事体_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3627	如果群体的成员有 registered 对于 WebSite 在期间时距和物理是那个群体的 member，然后那个物理是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	如果施事体 believes 实体是属性和那个属性是 TimeAttribute 的 instance，然后那个实体是施事体的 instance
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 736-748	如果 Identifier 是 WebBrowser 的 ID 当取用 WebSite ，然后有存在符号串，过程,，，施事体， and 和电脑程序这样那个符号串是 WebPage 的 instance 和那个符号串是那个 WebSite 的 sub-string 和那个过程是 AccessingWebPage 的 instance 和那个施事体是施事体的 instance 和那个施事体是那个过程的 agent 和那个 WebBrowser 是那个电脑程序的执行 program 和那个电脑程序 causes 那个过程和那个过程在那个符号串结束和那个 Identifier 表达那个施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 766-773	如果关联属性 organization 是坐落在施事体，然后有存在那个施事体2 和另一个客体这样那个施事体2 是施事体的 instance 和那个关联属性是那个施事体2 的 attribute 和那个施事体是 located 在那个另外客体和那个施事体2 是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	如果试验 causes 过程，然后有存在另一个过程和人类这样那个另外过程是过程的 instance 和那个人类是施事体的 instance 和那个人类是个 treated used 在那个试验和那个另外过程在那个试验的 process 和那个人类经历了那个过程和那个人类经历了那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier

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: