No TPTP formula. May not be expressible in strict first order. |
Sports.kif 604-604 |
Baseball e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 768-768 |
Basketball e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 93-93 |
Cricket e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 128-128 |
Dodgeball e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 807-807 |
FootballUS e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 122-122 |
Handball e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 118-118 |
Hockey e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 120-120 |
IceHockey e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 153-153 |
Netball e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 124-124 |
Rugby e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 156-156 |
Soccer e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 241-241 |
Volleyball e' uma sub-classe de TeamSport |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57173-57173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57172-57172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57171-57171 |
|