ProfessionalAthlete - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ProfessionalAthlete EnglishLanguage "ProfessionalAthlete is a person who is trained to compete in sports and makes his living from doing so.")	Sports.kif 1353-1354
(subclass ProfessionalAthlete SkilledOccupation)	Sports.kif 1352-1352	ProfessionalAthlete は SkilledOccupation の subclass では %n

appearance as argument number 2

(instance BaseballPlayer ProfessionalAthlete)	Sports.kif 350-350	BaseballPlayer は ProfessionalAthlete の instance では %n
(instance BasketballPlayer ProfessionalAthlete)	Sports.kif 352-352	BasketballPlayer は ProfessionalAthlete の instance では %n
(instance Boxer ProfessionalAthlete)	Sports.kif 354-354	Boxer は ProfessionalAthlete の instance では %n
(instance CarRacingDriver ProfessionalAthlete)	Sports.kif 356-356	CarRacingDriver は ProfessionalAthlete の instance では %n
(instance Cricketer ProfessionalAthlete)	Sports.kif 358-358	Cricketer は ProfessionalAthlete の instance では %n
(instance Cyclist ProfessionalAthlete)	Sports.kif 360-360	Cyclist は ProfessionalAthlete の instance では %n
(instance FigureSkater ProfessionalAthlete)	Sports.kif 361-361	FigureSkater は ProfessionalAthlete の instance では %n
(instance FootballerSoccer ProfessionalAthlete)	Sports.kif 364-364	FootballerSoccer は ProfessionalAthlete の instance では %n
(instance FootballerUS ProfessionalAthlete)	Sports.kif 362-362	FootballerUS は ProfessionalAthlete の instance では %n
(instance FormulaOneDriver ProfessionalAthlete)	Sports.kif 380-380	FormulaOneDriver は ProfessionalAthlete の instance では %n
(instance Golfer ProfessionalAthlete)	Sports.kif 366-366	Golfer は ProfessionalAthlete の instance では %n
(instance Gymnast ProfessionalAthlete)	Sports.kif 368-368	Gymnast は ProfessionalAthlete の instance では %n
(instance HockeyPlayer ProfessionalAthlete)	Sports.kif 373-373	HockeyPlayer は ProfessionalAthlete の instance では %n
(instance IceHockeyPlayer ProfessionalAthlete)	Sports.kif 375-375	IceHockeyPlayer は ProfessionalAthlete の instance では %n
(instance LacrossePlayer ProfessionalAthlete)	Sports.kif 371-371	LacrossePlayer は ProfessionalAthlete の instance では %n
(instance MarksmanProfessional ProfessionalAthlete)	Sports.kif 377-377	MarksmanProfessional は ProfessionalAthlete の instance では %n
(instance MotorcycleRider ProfessionalAthlete)	Sports.kif 387-387	MotorcycleRider は ProfessionalAthlete の instance では %n
(instance RacingCarDriver ProfessionalAthlete)	Sports.kif 383-383	RacingCarDriver は ProfessionalAthlete の instance では %n
(instance RockClimber ProfessionalAthlete)	Sports.kif 385-385	RockClimber は ProfessionalAthlete の instance では %n
(instance RugbyPlayer ProfessionalAthlete)	Sports.kif 369-369	RugbyPlayer は ProfessionalAthlete の instance では %n
(instance Swimmer ProfessionalAthlete)	Sports.kif 378-378	Swimmer は ProfessionalAthlete の instance では %n
(instance TennisProfessional ProfessionalAthlete)	Sports.kif 1372-1372	TennisProfessional は ProfessionalAthlete の instance では %n
(instance Wrestler ProfessionalAthlete)	Sports.kif 389-389	Wrestler は ProfessionalAthlete の instance では %n
(termFormat EnglishLanguage ProfessionalAthlete "professional athlete")	Sports.kif 1355-1355

antecedent

(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (exists (?GAME) (and (instance ?GAME Sport) (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1363-1370	属性は AutonomousAgent の attribute では %n 属性は ProfessionalAthlete の instance では %n コンテストコンテストはスポーツの instance では %n contestParticipant コンテスト and AutonomousAgent
(=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE))	Sports.kif 1357-1361	属性は AutonomousAgent の attribute では %n 属性は ProfessionalAthlete の instance では %n AutonomousAgent はスポーツをする skill が %n{ない}

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: