Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportsTeam

Sigma KEE - SportsTeam
SportsTeam(sports team)
JV, first_team, hockey_team, junior_varsity, major-league_club, major-league_team, minor-league_club, minor-league_team, varsity

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7201-7202
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1502-1502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7200-7200 Sports team is a subclass of group of people

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 681-681 Baseball team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 434-434 BasketballTeam is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 444-444 CarRacingTeam is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 770-770 Football team is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 442-442 LacrosseTeam is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 445-445 MotorcycleRacingTeam is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 440-440 RugbyTeam is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 438-438 SoccerTeam is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. Sports.kif 436-436 VolleyballTeam is a subclass of sports team
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54765-54765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54764-54764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54763-54763

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7204-7209

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6683-6687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18284-18288
No TPTP formula. May not be expressible in strict first order. Sports.kif 755-768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7215-7223


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