TreeView Knowledge Base Browser - diplomaticRepresentationType

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - diplomaticRepresentationType

diplomaticRepresentationType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4490-4493
No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4486	Le nombre 1 argument de diplomaticRepresentationType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4487-4487	Le nombre 2 argument de diplomaticRepresentationType est une instance de position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4488-4488	Le nombre 3 argument de diplomaticRepresentationType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4485-4485	diplomaticRepresentationType est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 748-748
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 747-747
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 746-746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19626-19626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19625-19625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19624-19624

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4499-4504	diplomaticRepresentationType AutonomousAgent, position and secteur g�opolitique sous-division g�opolitique secteur g�opolitique est une instance de nation diplomaticRepresentationType AutonomousAgent, position and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4639-4644	diplomaticRepresentationType AutonomousAgent, ConsulGeneral and gouvernement secteur g�opolitique est une instance de ville gouvernement est gouvernment de secteur g�opolitique diplomaticOrganizationType AutonomousAgent, ConsulateGeneral and gouvernement
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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4651-4653	diplomaticRepresentationType AutonomousAgent, Ambassador and AutonomousAgent diplomaticOrganizationType AutonomousAgent, Embassy and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4517-4519	diplomaticRepresentationType secteur g�opolitique, position and secteur g�opolitique diplomaticRelations secteur g�opolitique and secteur g�opolitique

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4499-4504	diplomaticRepresentationType AutonomousAgent, position and secteur g�opolitique sous-division g�opolitique secteur g�opolitique est une instance de nation diplomaticRepresentationType AutonomousAgent, position and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4585-4593	AutonomousAgent est une instance de nation AutonomousAgent est une instance de nation AutonomousAgent est une instance de humain position est un attribut de AutonomousAgent position est un sous-attribut de DiplomaticAgent representativeAgentToAgent AutonomousAgent, AutonomousAgent and AutonomousAgent diplomaticRepresentationType AutonomousAgent, position and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4608-4610	diplomaticOrganizationType AutonomousAgent, ConsulateGeneral and AutonomousAgent diplomaticRepresentationType AutonomousAgent, ConsulGeneral and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4656-4658	diplomaticOrganizationType AutonomousAgent, Embassy and AutonomousAgent diplomaticRepresentationType AutonomousAgent, Ambassador and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4521-4527	diplomaticRelations secteur g�opolitique and secteur g�opolitique position position est une instance de ForeignServicePosition position est un sous-attribut de DiplomaticAgent diplomaticRepresentationType secteur g�opolitique, position and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4529-4535	diplomaticRelations secteur g�opolitique and secteur g�opolitique position position est une instance de ForeignServicePosition position est un sous-attribut de DiplomaticAgent diplomaticRepresentationType secteur g�opolitique, position and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4537-4544	diplomaticRelations secteur g�opolitique and secteur g�opolitique position position position est une instance de position position est une instance de position diplomaticRepresentationType secteur g�opolitique, position and secteur g�opolitique diplomaticRepresentationType secteur g�opolitique, position and secteur g�opolitique
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

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