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 Le nombre 1 argument de diplomaticRelations est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Government.kif 4547-4547 Le nombre 2 argument de diplomaticRelations est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Government.kif 4542-4542 diplomaticRelations est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Government.kif 4544-4544 diplomaticRelations est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Government.kif 4545-4545 diplomaticRelations est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Government.kif 4543-4543 diplomaticRelations est une instance de relation sym�trique

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
No TPTP formula. May not be expressible in strict first order. Government.kif 4565-4571
No TPTP formula. May not be expressible in strict first order. Government.kif 4573-4580

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