TreeView Knowledge Base Browser - associateWithStatus

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

associateWithStatus

Sigma KEE - associateWithStatus

associateWithStatus

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2439-2444
No TPTP formula. May not be expressible in strict first order.	Government.kif 2435-2435	The number 1 argument of associate with status is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2436-2436	The number 2 argument of associate with status is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2437-2437	The number 3 argument of associate with status is an instance of group
No TPTP formula. May not be expressible in strict first order.	Government.kif 2434-2434	associate with status is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 204-204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 203-203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 202-202
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8796-8796
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8795-8795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8794-8794

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2446-2448	If an agent associate with status a relational attribute for a group, then the group is an associate in organization of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2450-2452	If an agent associate with status full member for a group, then the agent is a member of the group
No TPTP formula. May not be expressible in strict first order.	Government.kif 2454-2456	If an agent associate with status suspended member for a group, then the agent is not a member of the group

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