subProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2893-2894
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10026-10028
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10023-10023	子过程的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10024-10024	子过程的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10021-10021	子过程是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10022-10022	子过程是偏序关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 573-573
No TPTP formula. May not be expressible in strict first order.	english_format.kif 578-578
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 574-574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55754-55754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55753-55753

antecedent

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.	Hotel.kif 351-365	如果类的使用是对于有点 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 494-507	如果过程是走动的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是步进的 instance 和第三过程%n是那个过程的subProcess 和那个第三过程是步进的 instance 和那个另外过程START equal 那个另外过程出现的 time 的开始和那个第三过程START equal 那个第三过程出现的 time 的开始和那个另外过程START%n在那个第三过程STARTbefore发生和那个第三过程START%n在那个另外过程STARTbefore发生，然后那个另外过程 equal 那个第三过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3966-3991	如果 AccessingWebPage 是 AccessingWebPage 的 instance 和实体是 WebPage 的 instance 和过程是数据传输的 instance 和客体是服务器的 instance 和另一个过程是要求的 instance 和施事体是 WebBrowser 的 instance 和时距是时距的 instance 和那个实体是那个 AccessingWebPage 的 patient 和那个施事体是那个另外过程的 agent 和那个另外过程在那个客体结束和那个实体是那个另外过程的 patient 和那个客体是那个过程的源头和那个过程在那个施事体结束和那个实体是那个过程的 patient 和那个过程%n是那个 AccessingWebPage的subProcess 和那个另外过程%n是那个 AccessingWebPage的subProcess 和那个另外过程出现的 time 的结束 equal 那个时距的开始和那个过程出现的 time 的结束 equal 那个时距的结束，然后 access 的时间在那个 AccessingWebPage equal 那个时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 509-515	如果过程是走动的 instance 和另一个过程是步进的 instance 和那个另外过程%n是那个过程的subProcess 和施事体是那个过程的 agent，然后那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 517-523	如果过程是走动的 instance 和另一个过程是步进的 instance 和那个另外过程%n是那个过程的subProcess 和施事体是那个另外过程的 agent，然后那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21258-21277	如果过程是封锁的 instance 和比赛是比赛的 instance 和那个过程%n是那个比赛的subProcess 和施事体 participates 在那个比赛和那个施事体是那个过程的 agent，然后有存在那个比赛1 和有认知的主事这样那个比赛1 prevents 易位的发生和那个过程是那个比赛1 的 instance 和那个有认知的主事 participates 在那个比赛和那个施事体不 equal 那个有认知的主事和那个有认知的主事 desires 有存在另一个实体这样那个另外实体是那个比赛1 的 instance 和那个施事体是那个另外实体的 agent 和那个另外实体%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23022-23028	如果过程是驾驶的 instance 和运输%n是那个过程的subProcess 和那个运输是运输的 instance 和施事体是那个过程的 agent，然后那个施事体是在那个运输 transported
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23030-23036	如果过程是驾驶的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是运输的 instance 和那个过程在另一个实体结束，然后那个另外过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23038-23045	如果过程是驾驶的 instance 和运输%n是那个过程的subProcess 和那个运输是运输的 instance 和运输设备是车辆的 instance 和那个运输设备是那个过程的 patient，然后那个运输设备是那个运输的 conveyance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1274-1295	如果过程是尘暴的 instance 和另一个过程是风的 instance 和那个过程%n是那个另外过程的subProcess，然后有存在转移，客体,，，另一个客体,，，第三客体,，，另一个实体， and 和实数这样那个第三客体是土地面积的 instance 和那个另外过程是 located 在 2 和那个实数结速度单位是那个第三客体的 surface 风速和那个实数是 greaterThan 30.0 和那个转移是易位的 instance 和那个转移%n是那个过程的subProcess 和 objectTransferred 那个转移 and 那个客体和 objectTransferred 那个转移 and 那个另外客体和那个客体是悬浮颗粒的 instance 和那个另外客体是砂的 instance 和那个另外实体是土地面积的 instance 和那个转移在那个另外实体结束和那个第三客体和那个另外实体不重叠
No TPTP formula. May not be expressible in strict first order.	Sports.kif 593-601	如果过程是棒球的 instance 和另一个过程是铺地石的 instance 和那个另外过程%n是那个过程的subProcess，然后有存在客体这样那个客体是投手丘的 instance 和那个客体是那个另外过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16494-16506	如果客体是游戏目标的 instance 和那个客体是导致过程的 instrument 和那个过程是游戏的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是得分的 instance，然后有存在另一个实体和时间位置这样那个另外实体是游戏片的 instance 和那个另外实体是那个另外过程的 patient 和那个时间位置时段是那个另外过程出现的 time 时段的一 part 和那个另外实体是 located 在那个客体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 85-91	如果过程是 GuidingMotion 的 instance 和实体是那个过程的 patient 和另一个过程%n是那个过程的subProcess 和那个另外过程是运动的 instance，然后那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 93-99	如果过程是 GuidingMotion 的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是运动的 instance 和另一个实体是那个另外过程的 patient，然后那个另外实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13202-13209	如果过程是竞争招数的 instance 和另一个过程是暴力比赛的 instance 和那个过程%n是那个另外过程的subProcess，然后那个过程是攻击的 instance 或那个过程是防守机动的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1794-1800	如果实体是 OPLAN 的 instance 和那个实体表达过程和那个过程是军事行动的 instance 和那个过程SUB%n是那个过程的subProcess，然后那个实体表达那个过程SUB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15406-15410	如果过程是戏剧性的表现的 instance 和另一个过程%n是那个过程的subProcess，然后那个另外过程是戏剧表演的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15382-15386	如果过程是音乐表演的 instance 和另一个过程%n是那个过程的subProcess，然后那个另外过程是制作音乐的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22953-22958	如果过程是过程的 instance 和那个过程是 located 在 2 和另一个过程%n是那个过程的subProcess，然后那个另外过程是 located 在 2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2149-2162	如果过程是 TransactionCollection 的 instance 和另一个过程是购买的 instance 和第三过程是购买的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和施事体是那个过程的 agent 和客体是导致那个过程的 instrument，然后那个施事体是那个另外过程的 agent 和那个施事体是那个第三过程的 agent 和那个客体是导致那个另外过程的 instrument 和那个客体是导致那个第三过程的 instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2138-2147	如果过程是 TransactionCollection 的 instance 和另一个过程是购买的 instance 和第三过程是购买的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess，然后那个另外过程出现的 time equal 那个第三过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7850-7864	如果过程是娱乐或锻炼的 instance 和那个过程M 是导致那个过程的 instrument 和那个过程M 是 RowingMachine 的 instance 和施事体经历了那个过程和那个过程OW 是划船的 instance 和那个过程MOT%n是那个过程的subProcess 和类是身体运动的 subclass 和那个过程MOT 是那个类的 instance，然后有存在那个过程OWMOT 这样那个过程OWMOT 是那个类的 instance 和那个过程OWMOT%n是那个过程的subProcess 和那个施事体是那个过程OWMOT 的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1777-1788	如果过程是 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.	Weather.kif 1650-1671	如果过程是龙卷风的 instance 和另一个过程是旋转的 instance 和客体是空气的 instance 和那个过程RAN 是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个过程RAN%n是那个另外过程的subProcess 和那个客体是那个过程RAN 的 patient 和那个过程RAN 过程的实体向横，然后有存在另一个客体，自身连接物体,，，那个过程OP,，，第三自身连接物体,，，第四自身连接物体， and 和第五自身连接物体这样那个另外客体是地理区域的 instance 和那个过程是 located 在 2 和那个自身连接物体是那个客体的 part 和 ConeSegment 是那个自身连接物体的 attribute 和那个过程OP 是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个第三自身连接物体和那个第四自身连接物体是云的 instance 和那个第四自身连接物体的 bottom 是那个第五自身连接物体和那个过程OP 接上那个第五自身连接物体和那个第三自身连接物体接上那个另外客体

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 716-727	和弦音乐是客体的 attribute 若且唯若有存在过程和另一个过程这样那个客体是制作音乐的 instance 和那个过程是制作音乐的 instance 和那个另外过程是制作音乐的 instance 和那个过程%n是那个客体的subProcess 和那个另外过程%n是那个客体的subProcess 和那个过程不 equal 那个另外过程和那个过程和那个客体同时发生和那个另外过程和那个客体同时发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29698-29712	过程是以 Harmless 的形式发生若且唯若那个过程不是损坏的 instance 和不存在那个过程2 这样那个过程2 是损坏的 instance 和那个过程2%n是那个过程的subProcess 和不存在那个过程2 这样那个过程2 是损坏的 instance 和那个过程 causes 那个过程2
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.	Hotel.kif 502-518	如果有认知的主事是另一个有认知的主事的 customer 和那个有认知的主事有有点物理和有点物理是过程的 subclass，然后有存在实体和另一个实体这样那个另外实体是那个有认知的主事的财产的 element 和那个有认知的主事是那个实体的 agent 和那个另外有认知的主事是那个实体的 patient 和那个实体是那个有点物理的 instance 或第三实体是第四实体的 instance 和那个实体%n是那个第三实体的subProcess 和那个实体是 located 在那个另外实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Music.kif 864-873	如果歌曲 equal song 构成音乐作品和 LyricalContent 和那个歌曲表示过程的内容，然后有存在另一个过程和第三过程这样那个音乐作品是那个另外过程的 patient 和那个 LyricalContent 是那个第三过程的 patient 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12035-12044	如果过程是外科手术的 instance 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是切开的 instance 和那个实体是动物的 instance 和那个实体是那个另外过程的 patient 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 480-492	如果过程是走动的 instance 和时距 equal 那个过程出现的 time，然后有存在另一个过程和第三过程这样那个另外过程是步进的 instance 和那个第三过程是步进的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和那个另外过程出现的 time starts了才到那个时距和那个第三过程出现的 time finishes了才到那个时距和那个另外过程不 equal 那个第三过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21239-21251	如果过程是伏击的 instance 和施事体是那个过程的 agent，然后有存在另一个过程这样那个另外过程是隐瞒的 instance 和那个另外过程%n是那个过程的subProcess 和那个另外过程的目的是有存在另一个实体这样那个另外实体是攻击的 instance 和那个施事体是那个另外实体的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 753-763	如果过程是航空摄影侦察的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是拍摄的 instance 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 782-790	如果过程是两栖侦察的 instance 和施事体是那个过程的 agent，然后有存在另一个过程这样那个另外过程%n是那个过程的subProcess 和那个另外过程是登陆水域的 instance 和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22941-22951	如果被捕是被捕的 instance 和施事体是在那个被捕的情况下被拘留和那个施事体是一群人的 instance 和另一个施事体是那个施事体的 member，然后有存在那个被捕1 这样那个被捕1 是被捕的 instance 和那个另外施事体是在那个被捕1 的情况下被拘留和那个被捕1%n是那个被捕的subProcess
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1032-1040	如果金融账户是储蓄账户的 instance 和过程是金融交易的 instance 和那个金融账户的 currency 是那个过程的源头，然后有存在另一个过程这样那个另外过程是交易授权的 instance 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21258-21277	如果过程是封锁的 instance 和比赛是比赛的 instance 和那个过程%n是那个比赛的subProcess 和施事体 participates 在那个比赛和那个施事体是那个过程的 agent，然后有存在那个比赛1 和有认知的主事这样那个比赛1 prevents 易位的发生和那个过程是那个比赛1 的 instance 和那个有认知的主事 participates 在那个比赛和那个施事体不 equal 那个有认知的主事和那个有认知的主事 desires 有存在另一个实体这样那个另外实体是那个比赛1 的 instance 和那个施事体是那个另外实体的 agent 和那个另外实体%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 332-347	如果过程是购买的 instance 和实体是那个过程的 patient 和有认知的主事是那个过程的源头和另一个有点实体的 price 从那个有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是另一个有点实体和那个另外有点实体是物理的 subclass 和那个实体是那个另外有点实体的 immediateInstance 和有点付款是 valid payment 在那个 PricingScheme 底下，然后有存在有点付款MENT 这样那个有点付款MENT 是那个有点付款的 instance 和那个有点付款MENT%n是那个过程的subProcess 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11256-11264	如果过程是 Choking 的 instance 和施事体经历了那个过程，然后有存在那个过程O 这样那个过程O 是 Coughing 的 instance 和那个过程O%n是那个过程的subProcess 和那个施事体经历了那个过程O
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5727-5738	如果过程是 Coughing 的 instance 和施事体经历了那个过程，然后有存在另一个过程和第三过程这样那个另外过程是吸入的 instance 和那个第三过程是呼气的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和那个施事体经历了那个另外过程和那个施事体经历了那个第三过程
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3576-3585	如果过程是验证卡代码的 instance 和有内用物体是那个过程的 patient 和银行卡是那个有内用物体的 card 代号，然后有存在另一个过程这样那个另外过程是解码的 instance 和那个另外过程%n是那个过程的subProcess 和那个有内用物体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20850-20857	如果命题是饮食的 instance 和过程表示那个命题的内容，然后有存在另一个过程这样那个另外过程%n是那个过程的subProcess 和那个另外过程是进食的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	如果过程是精确破坏的 instance 和实体是那个过程的 patient，然后那个过程的目的是不存在另一个实体这样那个另外实体是损坏的 instance 和那个另外实体%n是那个过程的subProcess 和第四实体是那个另外实体的 patient 和那个实体不 equal 那个第四实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11810-11819	如果过程是发现的 instance 和实体是那个过程的 patient 和那个实体是 located 在另一个实体在那个过程出现的 time holdsDuring，然后有存在另一个过程这样那个另外过程是学习的 instance 和那个另外过程%n是那个过程的subProcess 和那个实体是 located 在那个另外实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23012-23020	如果过程是驾驶的 instance 和实体是那个过程的 patient 和那个实体是公路车辆的 instance，然后有存在另一个过程这样那个另外过程是通过公路车辆运输的 instance 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1274-1295	如果过程是尘暴的 instance 和另一个过程是风的 instance 和那个过程%n是那个另外过程的subProcess，然后有存在转移，客体,，，另一个客体,，，第三客体,，，另一个实体， and 和实数这样那个第三客体是土地面积的 instance 和那个另外过程是 located 在 2 和那个实数结速度单位是那个第三客体的 surface 风速和那个实数是 greaterThan 30.0 和那个转移是易位的 instance 和那个转移%n是那个过程的subProcess 和 objectTransferred 那个转移 and 那个客体和 objectTransferred 那个转移 and 那个另外客体和那个客体是悬浮颗粒的 instance 和那个另外客体是砂的 instance 和那个另外实体是土地面积的 instance 和那个转移在那个另外实体结束和那个第三客体和那个另外实体不重叠
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9536-9548	如果过程是 Edema 的 instance 和施事体经历了那个过程，然后有存在运动，客体， and 和另一个客体这样那个运动是转移的 instance 和那个另外客体是液体的 instance 和那个客体是身体部位的 instance 和那个客体是那个施事体的 part 和那个运动在那个客体结束和移动那个运动 and 那个另外客体和那个运动%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10159-10169	如果运动是 Extension 的 instance 和移动那个运动 and 客体，然后有存在另一个客体和那个另外客体C 这样那个另外客体是肌肉的 instance 和那个另外客体C 是 MuscularContraction 的 instance 和那个另外客体是导致那个运动的 instrument 和那个另外客体和那个客体是 connected 和那个另外客体C%n是那个运动的subProcess
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	如果过程是 ExperiencingALumpInTheThroat 的 instance 和施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是感知的 instance 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和客体是那个另外过程的 patient 和那个客体是喉的 instance 和那个客体是那个施事体的 part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

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

MilitaryProcesses.kif 2372-2372

民政活动%n是民政运作的subProcess

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: