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	SportsTeam は GroupOfPeople の subclass では %n

appearance as argument number 2

(subclass BaseballTeam SportsTeam)	Sports.kif 750-750	BaseballTeam は SportsTeam の subclass では %n
(subclass BasketballTeam SportsTeam)	Sports.kif 503-503	BasketballTeam は SportsTeam の subclass では %n
(subclass CarRacingTeam SportsTeam)	Sports.kif 513-513	CarRacingTeam は SportsTeam の subclass では %n
(subclass FootballTeam SportsTeam)	Sports.kif 843-843	FootballTeam は SportsTeam の subclass では %n
(subclass LacrosseTeam SportsTeam)	Sports.kif 511-511	LacrosseTeam は SportsTeam の subclass では %n
(subclass MotorcycleRacingTeam SportsTeam)	Sports.kif 514-514	MotorcycleRacingTeam は SportsTeam の subclass では %n
(subclass RugbyTeam SportsTeam)	Sports.kif 509-509	RugbyTeam は SportsTeam の subclass では %n
(subclass SoccerTeam SportsTeam)	Sports.kif 507-507	SoccerTeam は SportsTeam の subclass では %n
(subclass VolleyballTeam SportsTeam)	Sports.kif 505-505	VolleyballTeam は SportsTeam の subclass では %n
(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

オブジェクトは SportsTeam の instance では %n
工程工程はスポーツの subclass では %n オブジェクトは工程を agent として行う capable では %n

consequent

(=> (and (instance ?L SportsLeague) (member ?M ?L)) (instance ?M SportsTeam))	Mid-level-ontology.kif 7023-7027	コレクションは SportsLeague の instance では %n 物理はコレクションの member では %n 物理は SportsTeam の instance では %n
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam))	Mid-level-ontology.kif 18933-18937	人［人間］は組織のポジションの position を holds %n{ない} ポジションは SportsPosition の instance では %n 組織は SportsTeam の instance では %n
(=> (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	工程は FootballPass の instance では %n 工程エンティティー, コレクション, AutonomousAgent and 物理工程は工程% の subprocess では %n 工程は Throwing の instance では %n AutonomousAgent は工程の agent では %n 工程は物理に ends %n{ない} エンティティーは工程の patient では %n エンティティーは Football の instance では %n コレクションは SportsTeam の instance では %n AutonomousAgent はコレクションの member では %n 物理はコレクションの member では %n AutonomousAgent は物理と equal では
(=> (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	コンテストは TeamSport の instance では %n AutonomousAgent AutonomousAgent contestParticipant コンテスト and AutonomousAgent contestParticipant コンテスト and AutonomousAgent AutonomousAgent は SportsTeam の instance では %n AutonomousAgent は SportsTeam の instance では %n AutonomousAgent は AutonomousAgent と equal では

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: