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 2281-2284
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2280-2280	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 14949-14949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14948-14948
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14947-14947

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2312-2318	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 2289-2308	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