TreeView Knowledge Base Browser - plays

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - plays

plays

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1697-1697
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1696-1696
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1694-1695
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1698-1699
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1692-1692	The number 1 argument of plays is an instance of game
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1693-1693	The number 2 argument of plays is an instance of agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1691-1691	plays is an instance of case role
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1690-1690	plays is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1679-1679	referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1707-1707
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1706-1706
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1705-1705
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1708-1708
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1702-1702
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1701-1701
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1700-1700
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1703-1703

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1710-1716	If a cognitive agent plays a game, then the cognitive agent desires an entity is an instance of score and the entity is a subprocess of the game and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1671-1675	If a cognitive agent plays a game, then the cognitive agent desires there exists an entity such that the cognitive agent has achieved the entity in the game

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