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 4589-4593
No TPTP formula. May not be expressible in strict first order. Government.kif 4585-4585 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 4586-4586 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 4587-4587 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 4584-4584 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 49509-49509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49508-49508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49507-49507

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4613-4621
No TPTP formula. May not be expressible in strict first order. Government.kif 4606-4611
No TPTP formula. May not be expressible in strict first order. Government.kif 4599-4604

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3458-3465
No TPTP formula. May not be expressible in strict first order. Government.kif 4595-4597


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