Sport - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3298-3298
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13378-13379
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6889-6889
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7967-7967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7968-7968
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7969-7969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7970-7970
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7971-7971
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7972-7972
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13377-13377	子類 Sport and Game

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 89-89	子類 Archery and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 91-91	子類 Badminton and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 772-772	子類健美運動 and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1102-1102	子類 Bowling and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 585-585	子類拳擊 and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 226-226	子類 Caving and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 95-95	子類 Curling and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 97-97	子類 CycleRacing and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 103-103	子類 Diving and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1181-1181	子類 Equitation and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 114-114	子類 Fencing and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 116-116	子類 FigureSkating and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 236-236	子類 FishingSport and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 889-889	子類高爾夫球 and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 600-600	子類體操 and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 245-245	子類 HorseRacing and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 112-112	子類 IceSkating and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 221-221	子類 KiteSurfing and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 126-126	子類 Lacrosse and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 133-133	子類 MartialArts and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1336-1336	子類奧運會 and Sport
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7549-7549	子類賽跑 and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1317-1317	子類 Racquetball and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 232-232	子類 Rafting and Sport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 496-496	子類 RockClimbing and Sport

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1363-1370	attribute AutonomousAgent and Attribute 例 Attribute and ProfessionalAthlete Contest 例 Contest and Sport AutonomousAgent participates 在 Contest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1357-1361	attribute AutonomousAgent and Attribute 例 Attribute and ProfessionalAthlete 有技巧 Sport and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	例 Collection and Organization attribute Collection and 體育用品愛好書籍和音樂商店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object 例 AutonomousAgent and Selling 例 Object and Object 能力 Sport, 儀器 and Object 能力 MakingMusic, 儀器 and Object 例 Object and Book 例 Object and 音樂錄音例 Object and 音樂文本患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	attribute Object and ArtsAndRecreationTicketingServices 有目的 Object and entity entity and entity 例 entity and Selling 患者 entity and entity agent entity and Object 例 entity and 票目的地 entity and entity 有目的 entity and 賦予權利 entity entity 例 entity and Seeing agent entity and entity 患者 entity and entity 例 entity and 性能例 entity and Sport, Object and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7011-7017	例 Physical and 體育設施有目的 Physical and entity 例 entity and Sport entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15677-15683	例 Physical and 運動場有目的 Physical and entity 例 entity and Sport entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17070-17076	例 Process and 體育服務 Process 例 Process and Sport 子過程 Process and Process 啟動何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7528-7533	例 Object and 運動隊 Process 子類 Process and Sport 能力 Process, agent and Object

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: