TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SportsTeam EnglishLanguage "A GroupOfPeople who habitually play a Sport together, either as an occupation or as a leisure activity.")	Mid-level-ontology.kif 7525-7526
(externalImage SportsTeam "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg")	pictureList.kif 1501-1501
(subclass SportsTeam GroupOfPeople)	Mid-level-ontology.kif 7524-7524	子類運動隊 and 一群人

appearance as argument number 2

(subclass BaseballTeam SportsTeam)	Sports.kif 750-750	子類棒球隊 and 運動隊
(subclass BasketballTeam SportsTeam)	Sports.kif 503-503	子類 BasketballTeam and 運動隊
(subclass CarRacingTeam SportsTeam)	Sports.kif 513-513	子類 CarRacingTeam and 運動隊
(subclass FootballTeam SportsTeam)	Sports.kif 843-843	子類足球隊 and 運動隊
(subclass LacrosseTeam SportsTeam)	Sports.kif 511-511	子類 LacrosseTeam and 運動隊
(subclass MotorcycleRacingTeam SportsTeam)	Sports.kif 514-514	子類 MotorcycleRacingTeam and 運動隊
(subclass RugbyTeam SportsTeam)	Sports.kif 509-509	子類 RugbyTeam and 運動隊
(subclass SoccerTeam SportsTeam)	Sports.kif 507-507	子類 SoccerTeam and 運動隊
(subclass VolleyballTeam SportsTeam)	Sports.kif 505-505	子類 VolleyballTeam and 運動隊
(termFormat ChineseLanguage SportsTeam "运动队")	domainEnglishFormat.kif 54786-54786
(termFormat ChineseTraditionalLanguage SportsTeam "運動隊")	domainEnglishFormat.kif 54785-54785
(termFormat EnglishLanguage SportsTeam "sports team")	domainEnglishFormat.kif 54784-54784

antecedent

(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))

Mid-level-ontology.kif 7528-7533

例 Object and 運動隊
Process 子類 Process and Sport 能力 Process, agent and Object

consequent

(=> (and (instance ?L SportsLeague) (member ?M ?L)) (instance ?M SportsTeam))	Mid-level-ontology.kif 7023-7027	例 Collection and 體育聯盟會員 Physical and Collection 例 Physical and 運動隊
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam))	Mid-level-ontology.kif 18933-18937	佔據位置 Human, Position and Organization 例 Position and 體育位置例 Organization and 運動隊
(=> (instance ?PASS FootballPass) (exists (?THROW ?B ?TEAM ?M1 ?M2) (and (subProcess ?THROW ?PASS) (instance ?THROW Throwing) (agent ?THROW ?M1) (destination ?THROW ?M2) (patient ?THROW ?B) (instance ?B Football) (instance ?TEAM SportsTeam) (member ?M1 ?TEAM) (member ?M2 ?TEAM) (not (equal ?M1 ?M2)))))	Sports.kif 828-841	例 Process and 足球傳球 Process Entity, Collection, AutonomousAgent and Physical 子過程 Process and Process 例 Process and 投擲 agent Process and AutonomousAgent 目的地 Process and Physical 患者 Process and Entity 例 Entity and 足球例 Collection and 運動隊會員 AutonomousAgent and Collection 會員 Physical and Collection 等於 AutonomousAgent and Physical
(=> (instance ?S TeamSport) (exists (?T1 ?T2) (and (contestParticipant ?S ?T1) (contestParticipant ?S ?T2) (instance ?T1 SportsTeam) (instance ?T2 SportsTeam) (not (equal ?T1 ?T2)))))	Mid-level-ontology.kif 7539-7547	例 Contest and 團隊運動 AutonomousAgent AutonomousAgent AutonomousAgent participates 在 Contest AutonomousAgent participates 在 Contest 例 AutonomousAgent and 運動隊例 AutonomousAgent and 運動隊等於 AutonomousAgent and AutonomousAgent

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

KB Term:			Term intersection

English Word: