No TPTP formula. May not be expressible in strict first order. |
Sports.kif 604-604 |
Baseball is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 768-768 |
Basketball is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 93-93 |
Cricket is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 128-128 |
Dodgeball is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 807-807 |
Foot ball US is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 122-122 |
Handball is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 118-118 |
Hockey is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 120-120 |
Ice hockey is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 153-153 |
Netball is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 124-124 |
Rugby is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 156-156 |
Soccer is a subclass of team sport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 241-241 |
Volleyball is a subclass of team sport |
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 |
|