No TPTP formula. May not be expressible in strict first order. |
Sports.kif 673-673 |
BaseballField e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1157-1157 |
BowlingFacility e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 590-590 |
BoxingRing e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26796-26796 |
ExerciseCenter e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 918-918 |
GolfCourse e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 903-903 |
GolfFacility e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 580-580 |
IceSkatingRink e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1323-1323 |
RacquetballCourt e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1089-1089 |
SkiingFacility e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 875-875 |
TennisCourt e' uma sub-classe de SportsFacility |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54752-54752 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54751-54751 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54750-54750 |
|