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 1676-1676
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1675-1675
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1673-1674
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1677-1678
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1671-1671 The number 1 argument of plays is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1672-1672 The number 2 argument of plays is an instance of agent
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1670-1670 plays is an instance of case role
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1669-1669 plays is a subrelation of patient

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1658-1658 referee and plays are disjoint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1686-1686
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1685-1685
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1684-1684
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1687-1687
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1681-1681
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1680-1680
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1679-1679
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1682-1682

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1689-1695
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1650-1654


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