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 4425-4432
No TPTP formula. May not be expressible in strict first order.	Government.kif 4420-4420	Le nombre 1 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4421-4421	Le nombre 2 argument de diplomaticRepresentativeInRole est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 4422-4422	Le nombre 3 argument de diplomaticRepresentativeInRole est une instance de position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4423-4423	Le nombre 4 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4419-4419	diplomaticRepresentativeInRole est une instance de pr�dicat quaternaire

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 4412-4412	chiefOfDiplomaticMission est une sous-relation 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 4450-4454	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de secteur g�opolitique le gouvernment de secteur g�opolitique emploie humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 4475-4483	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea organisation and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4434-4442	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4468-4473	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4456-4460	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de organisation AutonomousAgent emploie humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 4444-4448	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de organisation humain occupe la position de position organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4462-4466	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea humain and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4495-4497	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent diplomaticRepresentationType AutonomousAgent, position and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4647-4649	diplomaticRepresentativeInRole AutonomousAgent, humain, Ambassador and AutonomousAgent diplomaticOrganizationType AutonomousAgent, Embassy and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4567-4569	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent representativeAgentToAgent AutonomousAgent, humain and AutonomousAgent

consequent

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

Government.kif 4546-4554

diplomaticRepresentationType nation, position and AutonomousAgent position est un sous-attribut de DiplomaticAgent
humain humain est une instance de humain humain est un citoyen de nation diplomaticRepresentativeInRole nation, humain, position 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