Game - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Game

Game(游戏)

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 13374-13375
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13372-13372	游戏是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13373-13373	游戏是娱乐或锻炼的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 475-475	Blackjack 是游戏的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 465-465	Chess 是游戏的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 467-467	Darts 是游戏的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 469-469	GoGame 是游戏的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 471-471	Poker 是游戏的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 473-473	Snooker 是游戏的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13377-13377	运动是游戏的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25870-25870	VideoGame 是游戏的 subclass
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	成就的 1 数量是游戏的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1692-1692	扮演的 1 数量是游戏的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1681-1681	referee 的 1 数量是游戏的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 17051-17063

如果客体是游戏目标的 instance 和那个客体是导致过程的 instrument 和那个过程是游戏的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是得分的 instance，
然后有存在另一个实体和时间位置这样那个另外实体是游戏片的 instance 和那个另外实体是那个另外过程的 patient 和那个时间位置时段是那个另外过程出现的 time 时段的一 part 和那个另外实体是 located 在那个客体在那个时间位置 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19499-19509	如果施事体有属性的 attribute 和那个属性是游戏属性的 instance，然后有存在过程这样那个过程是游戏的 instance 和那个施事体是那个过程的 agent 或那个施事体是那个过程的 patient 或那个施事体%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19515-19525	如果施事体有属性的 attribute 和那个属性是体育属性的 instance，然后有存在过程这样那个过程是游戏的 instance 和那个施事体是那个过程的 agent 或那个施事体是那个过程的 patient 或那个施事体%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Sports.kif 524-533	如果教练是施事体的 attribute，然后有存在实体，另一个实体， and 和过程这样那个实体是人类的 instance 和那个另外实体是游戏的 instance 和那个过程是教育性过程的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient 和那个过程提到那个另外实体
No TPTP formula. May not be expressible in strict first order.	naics.kif 11478-11487	如果赌博业是客体的 attribute，然后那个客体的目的是有存在实体和另一个实体这样那个实体是游戏的 instance 和那个客体是那个实体的 agent 和那个另外实体是打赌的 instance 和那个另外实体在那个客体结束和那个另外实体%n是那个实体的subProcess
No TPTP formula. May not be expressible in strict first order.	Sports.kif 541-551	如果人类 coaches 另一个人类，然后教练是那个人类的 attribute 和有存在实体和过程这样那个实体是游戏的 instance 和那个过程是教育性过程的 instance 和那个人类是那个过程的 agent 和那个另外人类是那个过程的 patient 和那个过程提到那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16981-16986	如果客体是游戏神器的 instance，然后有存在有点过程这样有点过程是游戏的 subclass 和那个客体能够担当工具的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16992-16998	如果物理是游戏板的 instance，然后那个物理的目的是有存在实体这样那个实体是游戏的 instance 和那个实体是 located 在那个物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16281-16286	如果实体是比赛电话的 instance，然后有存在另一个实体这样那个另外实体是游戏的 instance 和那个实体提到那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17033-17038	如果过程是游戏镜头的 instance，然后有存在另一个过程这样那个另外过程是游戏的 instance 和那个过程%n是那个另外过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1440-1448	如果物理是 Casino 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是游戏的 instance 和那个实体是 located 在那个物理和那个另外实体是打赌的 instance 和那个另外实体%n是那个实体的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26784-26790	如果物理是 GameRoom 的 instance，然后那个物理的目的是有存在实体这样那个实体是游戏的 instance 和那个实体是 located 在那个物理

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