Dead - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18197-18197	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4016-4016	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18198-18199	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3062-3062	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2944-2944	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3061-3061	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3063-3063	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3060-3060	相反的屬性死 and 活的
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18195-18195	例死 and AnimacyAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18196-18196	子屬性死 and Unconscious

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18747-18747
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18746-18746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18745-18745

appearance as argument number 3

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

Merge.kif 18182-18182

活的是所有的 AnimacyAttribute 的 attributes

antecedent

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

Law.kif 480-489

持有期間 TimeInterval and 慾望 AutonomousAgent and attribute Entity and 死例 AutonomousAgentURDER and 謀殺 agent AutonomousAgentURDER and AutonomousAgent 患者 AutonomousAgentURDER and Entity 早期 TimeInterval and 何時 AutonomousAgentURDER
attribute AutonomousAgentURDER and Premeditated

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10287-10302	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間未來何時 Process and attribute Entity and 死持有期間眼前的未來何時 Process and 部分 entity and Entity 持有期間不久的過去何時 Process and 部分 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12380-12386	例 Process and Killing 患者 Process and Entity 持有期間開始何時 Process and attribute Entity and 活的持有期間未來何時 Process and attribute Entity and 死
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23225-23233	例 Process and 自殺性爆炸事件 agent Process and CognitiveAgent 相信 CognitiveAgent and 持有期間未來何時 Process and attribute CognitiveAgent and 死
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23421-23435	持有期間 TimeInterval and attribute entity and 寡 TimeInterval entity 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and entity 是 entity 的 spouse 持有期間 TimeInterval and attribute entity and 死 entity 持有期間 TimeInterval and entity 是 entity 的 spouse
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 760-766	持有期間 TimeInterval and attribute entity and 失去親人的父親 TimeInterval entity 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and 父親 entity and entity 持有期間 TimeInterval and attribute entity and 死
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 774-780	持有期間 TimeInterval and attribute entity and 失去親人的母親 TimeInterval entity 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and 母親 entity and entity 持有期間 TimeInterval and attribute entity and 死
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7619-7625	例 Physical and 墓有目的 Physical and entity attribute entity and 死包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 41-43	例 Physical and OrganismRemains 持有期間何時 Physical and attribute Physical and 死
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23215-23223	例 Process and 自殺性爆炸事件 AutonomousAgent agent Process and AutonomousAgent 持有期間未來何時 Process and attribute AutonomousAgent and 死

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: