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