experiencer - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2462-2466
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 496-498
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.	Merge.kif 2459-2459	经历者的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2456-2456	经历者是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	经历者是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	经历者是参与活动的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13083-13083	出席是经历者的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23446-23446	失去操控权是经历者的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22890-22890	受服务者是经历者的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22804-22804
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22803-22803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22802-22802
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 34-34
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 216-216

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6357-6364	如果施事体经历了过程和那个施事体是 PainFn 身体部位的 instance，然后有存在那个身体部位ART 这样那个身体部位ART 是那个过程的 part 和那个身体部位ART 是 located 在那个身体部位
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.	Medicine.kif 6470-6482	如果 AVPUPainStatus 是施事体的 attribute 在时距 holdsDuring 和过程是痛的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是身体运动的 instance 和那个施事体经历了那个另外过程和那个另外过程出现的 time 在那个时距时段内发生和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	如果胚胎是施事体的 attribute 在时距 holdsDuring 和过程是出生的 instance 和另一个时距 equal 那个过程出现的 time 和那个施事体经历了那个过程，然后那个另外时距时段 doesn't 和那个时距重叠
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18181-18187	如果幼虫是施事体的 attribute 在时距 holdsDuring 和过程是出生的 instance 和另一个时距 equal 那个过程出现的 time 和那个施事体经历了那个过程，然后那个另外时距接着那个时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17193-17203	如果过程是加速的 instance 和时距 equal 那个过程出现的 time 和施事体经历了那个过程，然后不存在另一个过程这样那个另外过程是减速的 instance 和那个施事体经历了那个另外过程和那个时距 equal 那个另外过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	如果过程是 Anaphylaxis 的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是死亡的 instance 和那个施事体经历了那个实体和那个过程 causes 那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	如果过程是 Asphyxiation 的 instance 和施事体经历了那个过程，然后不存在实体这样那个实体是呼吸的 instance 和那个过程经历了那个实体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	如果过程是 RheumatoidArthritis 的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是 JointPain 的 instance 和那个过程 causes 那个实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	如果过程是 AutoImmuneDisorder 的 instance 和有认知的主事经历了那个过程，然后有存在客体，另一个过程， and 和另一个客体这样那个客体是抗体的 instance 和那个客体是那个有认知的主事的 part 和那个另外客体是细胞的 instance 和那个另外客体是那个有认知的主事的 part 和那个另外过程是摧毁的 instance 和那个客体是导致那个另外过程的 instrument 和那个有认知的主事 doesn't desires 那个另外过程是摧毁的 instance 和那个客体是导致那个另外过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16343-16353	如果过程是变得醉了的 instance 和施事体经历了那个过程，然后清醒是那个施事体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和醉是那个施事体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	如果过程是流血的的 instance 和施事体经历了那个过程，然后有存在客体和另一个过程这样那个客体是静脉的 instance 或那个客体是动脉的 instance 和那个客体是那个施事体的 part 和那个另外过程是损坏的 instance 和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个客体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	如果过程是流血的的 instance 和实体是死亡的 instance 和公式是人类的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程和那个公式在那个施事体的近和那个过程 causes 那个实体的声明 has 容易的语气，然后有存在另一个实体这样那个另外实体是连接的 instance 和那个公式是那个另外实体的 agent 和那个另外实体在那个施事体结束有义务执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21474-21489	如果过程是脸红的 instance 和施事体经历了那个过程，然后有存在时距，另一个时距,，，实体， and 和另一个实体这样那个实体是情绪状态的 instance 和那个另外实体是情绪状态的 instance 和那个实体不 equal 那个另外实体和那个实体是那个施事体的 attribute 在那个时距 holdsDuring 和那个另外实体是那个施事体的 attribute 在那个另外时距 holdsDuring 和那个过程出现的 time starts了才到那个另外时距和那个过程出现的 time finishes了才到那个时距
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16363-16373	如果过程是清醒来的 instance 和施事体经历了那个过程，然后醉是那个施事体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和清醒是那个施事体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	如果转移是 BreakthroughInfection 的 instance 和 objectTransferred 那个转移 and 客体和那个客体是那个客体C 的 instance 和施事体经历了那个转移，然后有存在那个客体AX 这样那个客体AX 是 Vaccination 的 instance 和那个施事体经历了那个客体AX 和 vaccine 那个客体ACCINECLASS and 那个客体C 和那个客体ACCINE 是那个客体ACCINECLASS 的 instance 和 objectTransferred 那个客体AX and 那个客体ACCINE 和那个客体AX 出现的 time 比那个转移出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	如果过程是出生的 instance 和施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是死亡的 instance 和那个施事体经历了那个另外过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21395-21403	如果过程是流血的的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是血液的 instance 和那个实体是那个施事体的 part 在那个过程出现的 time 的开始 holdsDuring 和那个实体不是那个施事体的 part 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21389-21393	如果过程是流血的的 instance 和施事体经历了那个过程，然后那个施事体是动物的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1886-1892	如果过程是 Chills 的 instance 和施事体经历了那个过程，然后 FeelingCold 是那个施事体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11771-11779	如果过程是 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 11754-11769	如果过程是 Choking 的 instance 和施事体经历了那个过程，然后有存在实体，客体， and 和另一个客体这样那个实体是客体的 instance 和那个客体是 Trachea 的 instance 和那个另外客体是肺的 instance 和那个客体是那个施事体的 part 和那个另外客体是那个施事体的 part 和那个实体是 located 在那个客体或那个实体是 located 在那个另外客体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6043-6054	如果过程是 Coughing 的 instance 和施事体经历了那个过程，然后有存在另一个过程和第三过程这样那个另外过程是吸入的 instance 和那个第三过程是呼气的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和那个施事体经历了那个另外过程和那个施事体经历了那个第三过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6056-6075	如果过程是 Coughing 的 instance 和施事体经历了那个过程，然后那个过程的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个另外实体是肺的 instance 和那个第四实体是喉的 instance 和那个第三实体是客体的 instance 和那个实体是移除的 instance 和那个另外实体是那个施事体的 part 和那个第四实体是那个施事体的 part 和 objectTransferred 那个实体 and 那个第三实体和那个第三实体是 located 在那个第四实体或那个第三实体是 located 在那个另外实体在紧接那个过程出现的 time before holdsDuring

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.	People.kif 357-390	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 births equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	年是整数 year 的 instance 和地缘政治区域和那个年每一千里的 deaths equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	年是整数 year 的 instance 和地缘政治区域和那个年每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 另一个实数和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	如果 allergic 人类 and 有点物质和有点物质UB 是那个有点物质的 instance 和那个有点物质UB 接上那个人类在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是 AllergicReaction 的 instance 和那个人类经历了那个另外实体和那个另外实体出现的 time 时段和那个时间位置重叠和那个时间位置的开始%n在那个另外实体出现的 time 的开始before发生的声明 has 容易的语气
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.	emotion.kif 161-172	如果情绪状态是实体的 attribute 在时间位置 holdsDuring 和 actionTendency 那个情绪状态 and 有点 EmotionalBehavioralProcess，然后有存在另一个实体这样那个另外实体是有点 EmotionalBehavioralProcess 的 instance 和那个另外实体出现的 time 在那个时间位置时段内发生和那个实体经历了那个另外实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	如果 AVPUPainStatus 是施事体的 attribute 在时距 holdsDuring 和过程是痛的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是身体运动的 instance 和那个施事体经历了那个另外过程和那个另外过程出现的 time 在那个时距时段内发生和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	如果 Menopausal 是施事体的 attribute 在时距 holdsDuring 和实数 equal (1 年持续时间和那个时距的开始) 和另一个时距 equal 那个另外时距和那个时距的开始间的时段，然后不存在过程这样那个过程是经期的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	如果撤离者是施事体的 attribute 在时距 holdsDuring 和那个时距是时距的 instance，然后有存在过程和另一个施事体这样那个过程是疏散的 instance 和那个另外施事体是那个过程的 agent 和那个另外施事体是军事组织的 instance 和那个施事体经历了那个过程和那个过程出现的 time 比那个时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17193-17203	如果过程是加速的 instance 和时距 equal 那个过程出现的 time 和施事体经历了那个过程，然后不存在另一个过程这样那个另外过程是减速的 instance 和那个施事体经历了那个另外过程和那个时距 equal 那个另外过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	如果过程是 Anaphylaxis 的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是死亡的 instance 和那个施事体经历了那个实体和那个过程 causes 那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	如果客体是盔甲的 instance 和那个客体是另一个客体的 part 或那个客体接上那个另外客体，然后那个客体的目的是有存在实体这样那个实体是维护的 instance 和那个客体是导致那个实体的 instrument 和那个另外客体经历了那个实体
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	如果客体是盔甲的 instance 和那个客体是另一个客体的 part 或那个客体接上那个另外客体，然后那个客体的目的是不存在实体这样那个实体是损坏的 instance 和那个客体是导致那个实体的 instrument 和那个另外客体经历了那个实体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	如果过程是 Asphyxiation 的 instance 和施事体经历了那个过程，然后不存在实体这样那个实体是呼吸的 instance 和那个过程经历了那个实体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	如果过程是 AngryVoiceUtterance 的 instance 和施事体是那个过程的 agent，然后那个过程是 AngryVoiceUtterance 的 instance 和那个施事体是那个过程的 agent 是有存在那个施事体NG 这样那个施事体NG 是愤怒的 instance 和那个施事体经历了那个施事体NG 的 causes 提议的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16200-16212	如果实体是法律奖励的 instance 和那个实体提到过程和那个过程是法律诉讼的 instance 和有认知的主事是那个过程的 agent，然后那个实体允许那个有认知的主事执行有存在另一个实体，第三实体， and 和第四实体这样那个另外实体是获得的 instance 和那个有认知的主事经历了那个另外实体和那个第三实体是那个另外实体的 patient 和那个第三实体的价值是那个第四实体的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	如果转移是遗赠的 instance 和施事体是那个转移的 agent 和那个转移在实体结束和 objectTransferred 那个转移 and 那个施事体ROP，然后有存在过程这样那个过程是死亡的 instance 和那个施事体经历了那个过程和那个过程出现的 time 比那个转移出现的 time发生的earlier 和那个施事体 possesses 那个施事体ROP 在紧接那个过程出现的 time before holdsDuring 和那个施事体 confers 规范那个实体 possesses 那个施事体ROP 对于允许
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	如果转移是 BreakthroughInfection 的 instance 和 objectTransferred 那个转移 and 客体和那个客体是那个客体C 的 instance 和施事体经历了那个转移，然后有存在那个客体AX 这样那个客体AX 是 Vaccination 的 instance 和那个施事体经历了那个客体AX 和 vaccine 那个客体ACCINECLASS and 那个客体C 和那个客体ACCINE 是那个客体ACCINECLASS 的 instance 和 objectTransferred 那个客体AX and 那个客体ACCINE 和那个客体AX 出现的 time 比那个转移出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	如果过程是出生的 instance 和施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是死亡的 instance 和那个施事体经历了那个另外过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11771-11779	如果过程是 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 6043-6054	如果过程是 Coughing 的 instance 和施事体经历了那个过程，然后有存在另一个过程和第三过程这样那个另外过程是吸入的 instance 和那个第三过程是呼气的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和那个施事体经历了那个另外过程和那个施事体经历了那个第三过程

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.	WMD.kif 921-929	?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率

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: