TreeView Knowledge Base Browser - diplomaticRepresentativeInRole

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 4461-4468
No TPTP formula. May not be expressible in strict first order.	Government.kif 4456-4456	O argumento numero 1 de diplomaticRepresentativeInRole e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4457-4457	O argumento numero 2 de diplomaticRepresentativeInRole e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4458-4458	O argumento numero 3 de diplomaticRepresentativeInRole e' uma instancia de Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4459-4459	O argumento numero 4 de diplomaticRepresentativeInRole e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4455-4455	diplomaticRepresentativeInRole e' uma instancia de Predicado Quaternario

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 4448-4448	chiefOfDiplomaticMission e' uma sub-relacao de diplomaticRepresentativeInRole
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19632-19632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19631-19631
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19630-19630

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4490	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Area Geopolitica o governo de Area Geopolitica emprega Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Organizacao e' uma instancia de DiplomaticOrganization Organizacao e' uma parte da organizacao o governo de Area Geopolitica Humano ocupa a posicao de Posicao Organizacao AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea Organizacao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4470-4478	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Organizacao Organizacao e' uma instancia de DiplomaticOrganization Organizacao e' uma parte da organizacao o governo de Area Geopolitica Humano ocupa a posicao de Posicao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4492-4496	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent emprega Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4480-4484	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Humano ocupa a posicao de Posicao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4498-4502	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea Humano and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4531-4533	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent diplomaticRepresentationType AutonomousAgent, Posicao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4683-4685	diplomaticRepresentativeInRole AutonomousAgent, Humano, Ambassador and AutonomousAgent diplomaticOrganizationType AutonomousAgent, Embassy and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4603-4605	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent representativeAgentToAgent AutonomousAgent, Humano and AutonomousAgent

consequent

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

Government.kif 4582-4590

diplomaticRepresentationType Nacao, Posicao and AutonomousAgent Posicao e' um sub-atributo de DiplomaticAgent
Humano Humano e' uma instancia de Humano Humano e' um cidadao de Nacao diplomaticRepresentativeInRole Nacao, Humano, Posicao and AutonomousAgent

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