TreeView Knowledge Base Browser - CivilAffairsActivity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CivilAffairsActivity

Sigma KEE - CivilAffairsActivity

CivilAffairsActivity(civil affairs activity)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2363-2369
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8422-8422
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9067-9067
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9068-9068
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9069-9069
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2373-2373	Civil affairs activity is a subprocess of civil affairs operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2362-2362	Civil affairs activity is a subclass of military operation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14940-14940
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14939-14939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14938-14938

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2398-2408	If a process is an instance of civil affairs activity, then there exist an agent and another agent such that the agent is an agent of the process and the other agent is an agent of the process and the agent is not equal to the other agent and the agent is an instance of military organization and the other agent is not an instance of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2377-2382	If a process is an instance of civil affairs activity, then there exists an agent such that the agent is an agent of the process and the agent is an instance of civil affairs
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2386-2393	If a physical is an instance of civil affairs activity, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of guiding and the other entity is a patient of the entity and the other entity is an instance of civil military operation

consequent

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

MilitaryProcesses.kif 2350-2360

If a physical is an instance of civil affairs,
then the physical has the purpose there exist an entity and another entity_ACT such that the entity is an instance of guiding and the other entity_ACT is a patient of the entity and the entity is an agent of the physical and the other entity_ACT is an instance of civil military operation or the other entity_ACT is an instance of civil affairs activity

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