TreeView Knowledge Base Browser - SupportHNAssistance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SupportHNAssistance

Sigma KEE - SupportHNAssistance

SupportHNAssistance(supportHN assistance)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1288-1291
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1287-1287	SupportHN assistance is a subclass of helping
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1286-1286	SupportHN assistance is a subclass of psychological operation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56239-56239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56238-56238
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56237-56237
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2787-2787

antecedent

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

MilitaryProcesses.kif 1293-1303

If a process is an instance of supportHN assistance and an agent experiences the process and the agent is an instance of host nation,
then there exists another process such that the other process is an instance of military operation and the other process is an instance of helping and the agent experiences the other process and the other process is a patient of the process

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