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

Formal Language: 



KB Term:  Term intersection
English Word: 

  plays

 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 Le nombre 1 argument de plays est une instance de jeu
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1693-1693 Le nombre 2 argument de plays est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1691-1691 plays est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1690-1690 plays est une sous-relation de patient

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1679-1679 referee et plays sont 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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1671-1675


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