CivilAffairsAgreement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CivilAffairsAgreement

CivilAffairsAgreement(civil affairs agreement)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2301-2304
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2300-2300	Civil affairs agreement is a subattribute of contract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14946-14946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14945-14945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14944-14944

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2332-2338	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent and the other cognitive agent are not enemies of each other
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization

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