![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation BowlingFacility EnglishLanguage "BowlingFacility refers to the SportsFacility where Bowling is played. It normally consists of a collection of BowlingLanes") | Sports.kif 1157-1159 | |
(subclass BowlingFacility SportsFacility) | Sports.kif 1156-1156 | BowlingFacility は SportsFacility の subclass では %n |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage BowlingFacility "bowling facility") | Sports.kif 1160-1160 |
antecedent |
![]() |
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1162-1168 |
|
(=> (instance ?BF BowlingFacility) (hasPurpose ?BF (exists (?B) (and (instance ?B Bowling) (eventLocated ?B ?BF))))) |
Sports.kif 1170-1176 |
![]() |
![]() |