TreeView Knowledge Base Browser - diplomaticRelations

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

diplomaticRelations

Sigma KEE - diplomaticRelations

diplomaticRelations

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4549-4551
No TPTP formula. May not be expressible in strict first order.	Government.kif 4546-4546	O argumento numero 1 de diplomaticRelations e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4547-4547	O argumento numero 2 de diplomaticRelations e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4542-4542	diplomaticRelations e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Government.kif 4544-4544	diplomaticRelations e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Government.kif 4545-4545	diplomaticRelations e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Government.kif 4543-4543	diplomaticRelations e' uma instancia de Relacao Simetrica

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 19620-19620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19619-19619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19618-19618

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4557-4563	diplomaticRelations Area Geopolitica and Area Geopolitica Posicao Posicao e' uma instancia de ForeignServicePosition Posicao e' um sub-atributo de DiplomaticAgent diplomaticRepresentationType Area Geopolitica, Posicao and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4565-4571	diplomaticRelations Area Geopolitica and Area Geopolitica Posicao Posicao e' uma instancia de ForeignServicePosition Posicao e' um sub-atributo de DiplomaticAgent diplomaticRepresentationType Area Geopolitica, Posicao and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4573-4580	diplomaticRelations Area Geopolitica and Area Geopolitica Posicao Posicao Posicao e' uma instancia de Posicao Posicao e' uma instancia de Posicao diplomaticRepresentationType Area Geopolitica, Posicao and Area Geopolitica diplomaticRepresentationType Area Geopolitica, Posicao and Area Geopolitica

consequent

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

Government.kif 4553-4555

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