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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Game
Game(jeu)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3297-3297
No TPTP formula. May not be expressible in strict first order. Merge.kif 13420-13421
No TPTP formula. May not be expressible in strict first order. Merge.kif 13418-13418 Jeu est une sous-classe de affrontement
No TPTP formula. May not be expressible in strict first order. Merge.kif 13419-13419 Jeu est une sous-classe de r�cr�ation ou exercice

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 475-475 Blackjack est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. Sports.kif 465-465 Chess est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. Sports.kif 467-467 Darts est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. Sports.kif 469-469 GoGame est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. Sports.kif 471-471 Poker est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. Sports.kif 473-473 Snooker est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. Merge.kif 13423-13423 Sport est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25903-25903 VideoGame est une sous-classe de jeu
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1212-1212
No TPTP formula. May not be expressible in strict first order. english_format.kif 1641-1641
No TPTP formula. May not be expressible in strict first order. french_format.kif 890-890
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 423-423
No TPTP formula. May not be expressible in strict first order. terms-it.txt 426-426
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2574-2574
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 842-842
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 428-428
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 462-462
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 911-911
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 427-427

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1659-1659 Le nombre 1 argument de achievement est une instance de jeu
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 1681-1681 Le nombre 1 argument de referee est une instance de jeu

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17078-17090

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19526-19536
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19542-19552
No TPTP formula. May not be expressible in strict first order. Sports.kif 524-533
No TPTP formula. May not be expressible in strict first order. naics.kif 11478-11487
No TPTP formula. May not be expressible in strict first order. Sports.kif 541-551
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17008-17013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17019-17025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16308-16313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17060-17065
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1440-1448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26817-26823


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