TreeView Knowledge Base Browser - representativeAgentToAgent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

representativeAgentToAgent

Sigma KEE - representativeAgentToAgent

representativeAgentToAgent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4597-4601
No TPTP formula. May not be expressible in strict first order.	Government.kif 4593-4593	O argumento numero 1 de representativeAgentToAgent e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4594-4594	O argumento numero 2 de representativeAgentToAgent e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4595-4595	O argumento numero 3 de representativeAgentToAgent e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4592-4592	representativeAgentToAgent e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2147-2147
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2146-2146
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2145-2145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49526-49526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49525-49525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49524-49524

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4621-4629	AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' uma instancia de Humano Posicao e' um atributo de AutonomousAgent Posicao e' um sub-atributo de DiplomaticAgent representativeAgentToAgent AutonomousAgent, AutonomousAgent and AutonomousAgent diplomaticRepresentationType AutonomousAgent, Posicao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4614-4619	representativeAgentToAgent Area Geopolitica, Agente Cognitivo and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Agente Cognitivo e' uma instancia de Agente Cognitivo o governo de Area Geopolitica emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Government.kif 4607-4612	representativeAgentToAgent AutonomousAgent, Agente Cognitivo and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Agente Cognitivo e' uma instancia de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 3466-3473	AutonomousAgent e' membro de InternationalCourtOfJustice JudgeAtLaw e' um atributo de AutonomousAgent AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica representativeAgentToAgent AutonomousAgent, AutonomousAgent and InternationalCourtOfJustice
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

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