No TPTP formula. May not be expressible in strict first order. |
Sports.kif 346-346 |
BasketBall 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1119-1119 |
BowlingBall 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 325-325 |
GolfBall 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17015-17015 |
射球 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 311-311 |
英式足球 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 347-347 |
TennisBall 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 345-345 |
VolleyBall 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9672-9672 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9671-9671 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9670-9670 |
|