TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12271-12271	损坏和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3153-3154
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12272-12274
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12270-12270	损坏是内部变化的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12498-12498	Breaking 是损坏的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12276-12276	摧毁是损坏的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2715-2715	森林破坏是损坏的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10427-10427	受伤是损坏的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 220-220	破坏是损坏的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1160-1160
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1537-1537
No TPTP formula. May not be expressible in strict first order.	french_format.kif 838-838
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 370-370
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 373-373
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2522-2522
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 790-790
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 859-859
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 374-374

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30079-30087	如果过程是损坏的 instance 和实体是设备的 instance 和那个实体是那个过程的 patient，然后 DeviceDamaged 是那个实体的 attribute 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	如果过程是损坏的 instance 和施事体是那个过程的 agent 和那个过程在有认知的主事结束和那个有认知的主事是有认知的主事的 instance，然后那个有认知的主事 believes 危险是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	如果过程是损坏的 instance 和客体是导致那个过程的 instrument 和那个客体是生物活性物质的 instance，然后那个客体是毒素的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10454	如果过程是损坏的 instance 和实体是生物的 instance 和那个实体是那个过程的 patient，然后那个过程是受伤的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	如果军车是对于正整数的 weapon 携带容量有点武器和客体是有点武器的 instance 和那个客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass 或那个有点过程是损坏的 subclass，然后那个军车能够担当那个格角色的角色做那个有点过程

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30296-30310	过程是以 Harmless 的形式发生若且唯若那个过程不是损坏的 instance 和不存在那个过程2 这样那个过程2 是损坏的 instance 和那个过程2%n是那个过程的subProcess 和不存在那个过程2 这样那个过程2 是损坏的 instance 和那个过程 causes 那个过程2
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.	Merge.kif 13409-13418	如果过程是攻击的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体在那个过程的目的是有存在另一个实体这样那个另外实体是损坏的 instance 和那个实体是那个另外实体的 patient
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.	Merge.kif 13431-13440	如果过程是防守机动的 instance 和施事体是那个过程的 agent，然后那个施事体在那个过程的目的是不存在实体这样那个实体是损坏的 instance 和那个施事体是那个实体的 patient
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.	Mid-level-ontology.kif 1395-1413	如果设备是枪的 instance 和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个设备的 effective 范围和那个设备和客体的 distance 是那个实数1 那个测量单位和不存在那个客体2 这样那个客体2 是在那个客体和那个设备 between 和那个实数1 是 lessThanOrEqualTo 那个实数，然后有存在符号串这样那个设备能够担当工具的角色做那个符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	如果客体是 Poison 的 instance 和运动是消化的 instance 和移动那个运动 and 那个客体和施事体经历了那个运动，然后有存在过程这样那个过程是损坏的 instance 和那个施事体经历了那个过程和那个运动 causes 那个过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12229-12237	如果过程是修理的 instance 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是损坏的 instance 和那个实体是那个另外过程的 patient 和那个另外过程出现的 time 比那个过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11005-11015	如果过程是 Sunburn 的 instance 和施事体经历了那个过程，然后有存在另一个过程和那个过程KIN 这样那个另外过程是损坏的 instance 和太阳是导致那个另外过程的 instrument 和那个过程KIN 是皮肤的 instance 和那个过程KIN 是那个施事体的 part 和那个过程KIN 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	如果客体是高精度武器的 instance 和那个客体是导致过程的 instrument 和实体是那个过程的 patient，然后那个客体的目的是不存在另一个实体和第三实体这样那个另外实体是损坏的 instance 和那个另外实体%n是那个过程的subProcess 和那个第三实体是那个另外实体的 patient 和那个实体不 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	如果客体是 CarAlarm 的 instance 和另一个客体是自供电公路车辆的 instance 和那个客体是那个另外客体的 part，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个客体的目的是如果那个实体是偷窃行为的 instance 或那个实体是损坏的 instance 和那个另外实体是人类的 instance 和那个另外实体是那个实体的 agent 和那个另外客体是那个实体的 patient 和那个实体出现的 time equal 那个第三实体和那个实体是 partly located 在那个第四实体，然后有存在第五实体这样那个第五实体是放射声音的 instance 和那个客体是那个第五实体的 agent 和那个实体 causes 那个第五实体和那个第五实体的目的是有存在第六实体这样那个第六实体是人类的 instance 和那个第六实体在那个第四实体的近在那个第三实体 holdsDuring 增加那个第六实体 knows 有存在第七实体这样那个第七实体是偷窃行为的 instance 或那个第七实体是损坏的 instance 和那个第七实体是 partly located 在那个第四实体和那个另外客体是那个第七实体的 patient 在那个第三实体 holdsDuring 或那个第五实体出现的 time finishes了才到那个实体出现的 time 发生的机率
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29445-29456	如果 DeviceDamaged 是客体的 attribute，然后有存在那个客体AM 这样那个客体AM 是损坏的 instance 和那个客体是那个客体AM 的 patient 和不存在另一个过程这样那个另外过程是修理的 instance 和那个客体是那个另外过程的 patient 和那个客体AM 出现的 time 比那个另外过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29417-29429	如果 DeviceNormal 是客体的 attribute，然后不存在那个客体AM 这样那个客体AM 是损坏的 instance 和那个客体是那个客体AM 的 patient 和不存在另一个过程这样那个另外过程是修理的 instance 和那个客体是那个另外过程的 patient 和那个客体AM 出现的 time 比那个另外过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	如果危险物理 and 客体，然后有存在实体这样那个实体是损坏的 instance 和那个客体是那个实体的 patient 和那个物理是事件那个实体的 involved 或那个物理 causes 那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3821-3829	如果 Antivaxxer 是有认知的主事的 attribute 在时间位置 holdsDuring，然后那个有认知的主事 believes 有存在实体和另一个实体这样那个实体是 Vaccination 的 instance 和那个另外实体是损坏的 instance 和那个实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30194-30202	如果 Undamaged 是实体的 attribute 在时距 holdsDuring，然后不存在过程这样那个过程是损坏的 instance 和那个实体是那个过程的 patient 和那个过程出现的 time 比那个时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	WMD.kif 483-490	如果物理是发泡剂的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是损坏的 instance 和那个另外实体是身体组织的 instance 和那个另外实体是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	如果物理是生化攻击的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是损坏的 instance 和那个另外实体是那个实体的 patient 和那个物理 causes 那个实体和那个另外实体是生物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17846-17854	如果物理是爆炸装置的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是爆炸的 instance 和那个物理是导致那个实体的 instrument 和那个实体 causes 那个另外实体和那个另外实体是损坏的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15843-15845	如果客体是爆炸的 instance，然后那个客体能够担当工具的角色做损坏
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10440-10447	如果过程是受伤的 instance，然后那个过程是损坏的 instance 和有存在实体这样那个实体是生物的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 976-990	如果物理是空袭导弹的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 patient 和那个第三实体是损坏的 instance 和那个另外实体是大气地区的 instance 和那个物理是 located 在那个另外实体和那个实体是 located 在那个另外实体在那个第三实体出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1108-1121	如果物理是束骑导弹的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是损坏的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 patient 和那个第三实体是辐射的 instance 和那个第四实体是导致那个第三实体的 instrument 和那个第四实体是雷达的 instance 或那个第四实体是灯具的 instance 和那个另外实体是那个第三实体的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	如果物理是地面攻击导弹的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 patient 和那个第三实体是损坏的 instance 和那个另外实体是地理区域的 instance 和那个物理是 located 在那个另外实体和那个实体是 located 在那个另外实体在那个第三实体出现的 time 的开始 holdsDuring

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: