Dead - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18093-18093	死是活的的相反
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4016-4016
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18094-18095
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3063-3063
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2945-2945
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3062-3062
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3064-3064
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3061-3061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18091-18091	死是生命度属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18092-18092	死是无意识的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18732-18732
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18731-18731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18730-18730

appearance as argument number 3

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

Merge.kif 18078-18078

活的是所有的生命度属性的 attributes

antecedent

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

Law.kif 480-489

如果施事体 desires 死是实体的 attribute 在时距 holdsDuring 和那个施事体URDER 是谋杀的 instance 和那个施事体是那个施事体URDER 的 agent 和那个实体是那个施事体URDER 的 patient 和那个时距比那个施事体URDER 出现的 time发生的earlier，
然后 Premeditated 是那个施事体URDER 的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	如果过程是死亡的 instance 和施事体是生物的 instance 和那个施事体经历了那个过程，然后有存在实体和另一个实体这样那个实体是那个过程的 result 和那个实体是有机物体的 instance 和死是那个实体的 attribute 在那个过程出现的 time 之后 holdsDuring 和如果那个另外实体是那个实体的 part 在紧接那个过程出现的 time after holdsDuring，然后那个另外实体是那个施事体的 part 在紧接那个过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12305-12311	如果过程是杀害的 instance 和实体是那个过程的 patient，然后活的是那个实体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和死是那个实体的 attribute 在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22111-22119	如果过程是自杀性爆炸事件的 instance 和有认知的主事是那个过程的 agent，然后那个有认知的主事 believes 死是那个有认知的主事的 attribute 在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22307-22321	如果寡是实体的 attribute 在时距 holdsDuring，然后有存在另一个时距和另一个实体这样那个另外时距比那个时距发生的earlier 和那个另外实体是那个实体的 spouse 在那个另外时距 holdsDuring 和死是那个另外实体的 attribute 在那个时距 holdsDuring 和不存在第四实体这样那个第四实体是那个实体的 spouse 在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 760-766	如果失去亲人的父亲是实体的 attribute 在时距 holdsDuring，然后有存在另一个时距和另一个实体这样那个另外时距比那个时距发生的earlier 和那个另外实体是那个实体 father 在那个另外时距 holdsDuring 和死是那个另外实体的 attribute 在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 774-780	如果失去亲人的母亲是实体的 attribute 在时距 holdsDuring，然后有存在另一个时距和另一个实体这样那个另外时距比那个时距发生的earlier 和那个另外实体是那个实体的 mother 在那个另外时距 holdsDuring 和死是那个另外实体的 attribute 在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6846-6852	如果物理是墓的 instance，然后那个物理的目的是有存在实体这样死是那个实体的 attribute 和那个物理 contains 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 41-43	如果物理是 OrganismRemains 的 instance，然后死是那个物理的 attribute 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22101-22109	如果过程是自杀性爆炸事件的 instance，然后有存在施事体这样那个施事体是那个过程的 agent 和死是那个施事体的 attribute 在那个过程出现的 time 之后 holdsDuring

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: