Game - Sigma Knowledge base Browser

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 13479-13480
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13477-13477	子類 Game and Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13478-13478	子類 Game and RecreationOrExercise

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 487-487	子類 Blackjack and Game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 477-477	子類 Chess and Game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 479-479	子類 Darts and Game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 481-481	子類 GoGame and Game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 483-483	子類 Poker and Game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 485-485	子類 Snooker and Game
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13482-13482	子類 Sport and Game
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27515-27515	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1212-1212	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1641-1641	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	french_format.kif 890-890	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 423-423	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 426-426	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2574-2574	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 842-842	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 428-428	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 462-462	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 721-721	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 911-911	子類 VideoGame and Game
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 427-427	子類 VideoGame and Game

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1659-1659	域成就, 1 and Game
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1692-1692	域扮演, 1 and Game
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1681-1681	域 referee, 1 and Game

antecedent

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

Mid-level-ontology.kif 18448-18460

例 Object and 遊戲目標儀器 Process and Object 例 Process and Game 子過程 Process and Process 例 Process and 得分
Entity TimePosition 例 Entity and 遊戲片患者 Process and Entity 時間部分 TimePosition and 何時 Process 持有期間 TimePosition and 位於 Entity and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21077-21087	屬性 AutonomousAgent and Attribute 例 Attribute and 遊戲屬性 Process 例 Process and Game agent Process and AutonomousAgent 患者 Process and AutonomousAgent 子過程 AutonomousAgent and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21093-21103	屬性 AutonomousAgent and Attribute 例 Attribute and 體育屬性 Process 例 Process and Game agent Process and AutonomousAgent 患者 Process and AutonomousAgent 子過程 AutonomousAgent and Process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 536-545	attribute AutonomousAgent and 教練 Entity Entity and Process 例 Entity and Human 例 Entity and Game 例 Process and EducationalProcess agent Process and AutonomousAgent 患者 Process and Entity 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 11478-11487	attribute Object and 賭博業有目的 Object and entity entity 例 entity and Game agent entity and Object 例 entity and Betting 目的地 entity and Object 子過程 entity and entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 553-563	Human coaches Human attribute Human and 教練 Entity Process 例 Entity and Game 例 Process and EducationalProcess agent Process and Human 患者 Process and Human 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18378-18383	例 Object and 遊戲神器 Process 子類 Process and Game 能力 Process, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18389-18395	例 Physical and 遊戲板有目的 Physical and entity 例 entity and Game entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17678-17683	例 Entity and 比賽電話 Entity 例 Entity and Game 參照 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18430-18435	例 Process and 遊戲鏡頭 Process 例 Process and Game 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1440-1448	例 Physical and Casino 有目的 Physical and entity entity 例 entity and Game 位於 entity and Physical 例 entity and Betting 子過程 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28429-28435	例 Physical and GameRoom 有目的 Physical and entity 例 entity and Game entity 是 located 在 Physical

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

KB Term:			Term intersection

English Word: