Helping - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Helping

Helping(幫助)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1415-1417
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1414-1414	子類幫助 and SocialInteraction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1906-1906	子類外國內部防禦 and 幫助
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1256-1256	子類支持CI and 幫助
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1272-1272	子類 supportDC and 幫助
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1241-1241	子類 supportEPW and 幫助
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1287-1287	子類支持HW 協助 and 幫助
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1334-1334	子類支持IO and 幫助
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 132-132	子類非常規戰爭 and 幫助
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27909-27909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27908-27908
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27907-27907

antecedent

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

MilitaryProcesses.kif 1419-1431

例 Process and 幫助 agent Process and AutonomousAgent 結果 Process and Physical
CognitiveAgent 等於 AutonomousAgent and CognitiveAgent 患者 Process and CognitiveAgent 體驗者 Process and CognitiveAgent 想要 CognitiveAgent and Physical

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1383-1392	例 Process and 公共計劃體驗者 Process and AutonomousAgent 有目的 Process and entity 例 entity and 幫助體驗者 entity and AutonomousAgent 例 AutonomousAgent and 上市
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1293-1303	例 Process and 支持HW 協助體驗者 Process and AutonomousAgent 例 AutonomousAgent and 主辦國 Process 例 Process and 軍事行動例 Process and 幫助體驗者 Process and AutonomousAgent 患者 Process and Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2415-2421	attribute Object and Concierge 有目的 Object and entity 例 entity and 幫助 agent entity and Object

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