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 7524-7525 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1501-1501 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7523-7523 | 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 750-750 | Baseball team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 503-503 | Basketball team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 513-513 | Car racing team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 843-843 | Football team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 511-511 | Lacrosse team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 514-514 | Motorcycle racing team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 509-509 | Rugby team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 507-507 | Soccer team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 505-505 | Volleyball team is a subclass of sports team |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54786-54786 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54785-54785 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54784-54784 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7527-7532 |
|
consequent |