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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of representative agent to agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 4594-4594 The number 2 argument of representative agent to agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 4595-4595 The number 3 argument of representative agent to agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 4592-4592 representative agent to agent is an instance of ternary predicate

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
No TPTP formula. May not be expressible in strict first order. Government.kif 4614-4619
No TPTP formula. May not be expressible in strict first order. Government.kif 4607-4612

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3466-3473
No TPTP formula. May not be expressible in strict first order. Government.kif 4603-4605


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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