Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  diplomaticRepresentativeInRole

Sigma KEE - diplomaticRepresentativeInRole
diplomaticRepresentativeInRole

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4453-4460
No TPTP formula. May not be expressible in strict first order. Government.kif 4448-4448 The number 1 argument of diplomatic representative in role is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 4449-4449 The number 2 argument of diplomatic representative in role is an instance of human
No TPTP formula. May not be expressible in strict first order. Government.kif 4450-4450 The number 3 argument of diplomatic representative in role is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 4451-4451 The number 4 argument of diplomatic representative in role is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 4447-4447 diplomatic representative in role is an instance of quaternary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 752-752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 751-751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 750-750
No TPTP formula. May not be expressible in strict first order. Government.kif 4440-4440 chief of diplomatic mission is a subrelation of diplomatic representative in role
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19623-19623
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19622-19622
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19621-19621

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4478-4482
No TPTP formula. May not be expressible in strict first order. Government.kif 4503-4511
No TPTP formula. May not be expressible in strict first order. Government.kif 4462-4470
No TPTP formula. May not be expressible in strict first order. Government.kif 4496-4501
No TPTP formula. May not be expressible in strict first order. Government.kif 4484-4488
No TPTP formula. May not be expressible in strict first order. Government.kif 4472-4476
No TPTP formula. May not be expressible in strict first order. Government.kif 4490-4494
No TPTP formula. May not be expressible in strict first order. Government.kif 4523-4525
No TPTP formula. May not be expressible in strict first order. Government.kif 4675-4677
No TPTP formula. May not be expressible in strict first order. Government.kif 4595-4597

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4574-4582


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