diplomaticRelations - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - diplomaticRelations

diplomaticRelations

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4510-4512
No TPTP formula. May not be expressible in strict first order.	Government.kif 4507-4507	The number 1 argument of diplomatic relations is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4508-4508	The number 2 argument of diplomatic relations is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4503-4503	diplomatic relations is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4505-4505	diplomatic relations is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4506-4506	diplomatic relations is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4504	diplomatic relations is an instance of symmetric relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 744-744
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 743-743
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 742-742
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19629-19629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19628-19628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19627-19627

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4518-4524	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the other geopolitical area diplomatic representation type the position for the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4526-4532	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the geopolitical area diplomatic representation type the position for the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4534-4541	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exist a position and another position such that the position is an instance of position and the other position is an instance of position and the other geopolitical area diplomatic representation type the position for the geopolitical area and the geopolitical area diplomatic representation type the other position for the other geopolitical area

consequent

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

Government.kif 4514-4516

If a geopolitical area diplomatic representation type a position for another geopolitical area,
then the other geopolitical area is a diplomatic relations of the geopolitical area

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