TreeView Knowledge Base Browser - prevents

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - prevents

prevents

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2148-2150
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4372-4374
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 804-806
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4367-4367	阻止的 1 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4368-4368	阻止的 2 数量是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4364-4364	阻止是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4365-4365	阻止是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4366-4366	阻止是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4370-4370	阻止和 hinders 是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4369-4369	阻止和 preventsSubclass 是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order.	english_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.	french_format.kif 130-130
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 229-229
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1959-1959
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 82-82
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 287-287
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 267-267
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 149-149
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 135-135
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 421-421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47276-47276
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47275-47275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47274-47274
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 92-92

antecedent

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

Merge.kif 4376-4386

如果过程 prevents 另一个有点过程的发生和那个过程出现的 time equal 时距和那个过程是 located 在客体，
然后有存在实体这样那个实体是另一个有点过程的 instance 和那个实体是 located 在那个客体 doesn't 在那个时距 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	如果过程是封锁的 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.	MilitaryProcesses.kif 1478-1488	如果过程是反扩散的 instance 和施事体是那个过程的 agent，然后有存在另一个施事体和另一个过程这样 enemy 那个施事体 and 那个另外施事体和那个另外施事体是那个另外过程的 agent 和那个另外过程是增殖作用的 instance 和那个过程的目的是那个过程 prevents 增殖作用的发生
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.	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 30707-30727	如果 SafetyPosition 是实体的 attribute 在时间位置 holdsDuring，然后那个实体的目的是有存在另一个实体，第三实体,，，第四实体， and 和那个时间位置2 这样那个第三实体是人类的 instance 和那个另外实体是过程的 instance 和那个第三实体是那个另外实体的 patient 和那个实体是那个另外实体的 agent 和那个另外实体 prevents 那个第四实体所描述的类别的发生在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	如果物理是反操作的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是军事行动的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2193-2203	如果物理是反侦察的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是 ReconnaissanceOperation 的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	如果物理是反恐的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是恐怖主义的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	如果物理是防护眼镜的 instance，然后那个物理的目的是如果有存在那个物理RSON 这样那个物理RSON 是人类的 instance 和那个物理RSON wears 那个物理，然后有存在另一个实体，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个第五实体所描述的类别的 subclass 和那个另外实体 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	如果客体是维和部队的 instance，然后那个客体能够担当主事的角色做符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1472-1492	如果物理是屏蔽的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是 Protecting 的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是人类的 instance 和那个另外实体是那个实体的 patient 和那个实体 prevents 那个第三实体所描述的类别的发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	如果物理是 Protecting 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个第三实体ARM 这样那个实体是客体的 instance 和客体是那个物理的 patient 和那个第三实体ARM 是那个第三实体所描述的类别的 subclass 和那个物理 prevents 那个第三实体ARM 的发生或那个物理 hinders 那个第三实体ARM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3355-3373	如果物理是 SafetyDevice 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个另外实体是人类的 instance 和那个实体是过程的 instance 和那个另外实体是那个实体的 patient 和那个物理是导致那个实体的 instrument 和那个实体 prevents 那个第三实体所描述的类别的发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3675-3704	如果物理是 SeatBelt 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体是车辆的 instance 和那个物理是那个第三实体的 part 和那个实体是人类的 instance 和那个第三实体 contains 那个实体和那个另外实体是过程的 instance 和那个另外实体 prevents 那个第四实体所描述的类别的发生

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